Binary decision diagrams in theory and practice
R Drechsler, D Sieling - International Journal on Software Tools for …, 2001 - Springer
Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been
successfully applied in many other fields. DDs are widely used and are also integrated in …
successfully applied in many other fields. DDs are widely used and are also integrated in …
[PDF][PDF] Verification of arithmetic circuits with binary moment diagrams
RE Bryant, YA Chen - Proceedings of the 32nd annual ACM/IEEE …, 1995 - dl.acm.org
Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions
similar to the way Binary Decision Diagrams (BDDs) represent Boolean functions. Within the …
similar to the way Binary Decision Diagrams (BDDs) represent Boolean functions. Within the …
[BOOK][B] Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications
C Meinel, T Theobald - 1998 - books.google.com
One of the main problems in chip design is the huge number of possible combinations of
individual chip elements, leading to a combinatorial explosion as chips become more …
individual chip elements, leading to a combinatorial explosion as chips become more …
Principles in the evolutionary design of digital circuits—Part I
JF Miller, D Job, VK Vassilev - Genetic programming and evolvable …, 2000 - Springer
An evolutionary algorithm is used as an engine for discovering new designs of digital
circuits, particularly arithmetic functions. These designs are often radically different from …
circuits, particularly arithmetic functions. These designs are often radically different from …
[BOOK][B] Binary decision diagrams: theory and implementation
R Drechsler, B Becker - 2013 - books.google.com
For someone with a hammer the whole world looks like a nail. Within the last 10-13 years
Binar· y Decision Diagmms (BDDs) have become the state-of-the-art data structure in VLSI …
Binar· y Decision Diagmms (BDDs) have become the state-of-the-art data structure in VLSI …
Binary decision diagrams and beyond: Enabling technologies for formal verification
RE Bryant - Proceedings of IEEE International Conference on …, 1995 - ieeexplore.ieee.org
Ordered Binary Decision Diagrams (OBDDs) have found widespread use in CAD
applications such as formal verification, logic synthesis, and test generation. OBDDs …
applications such as formal verification, logic synthesis, and test generation. OBDDs …
Representations of logic functions using EXOR operators
T Sasao - Representations of discrete functions, 1996 - Springer
Logic functions are usually represented by logical expressions or decision diagrams using
AND and OR operators. However, some functions have more compact representations with …
AND and OR operators. However, some functions have more compact representations with …
Tools for quantum computing based on decision diagrams
With quantum computers promising advantages even in the near-term NISQ era, there is a
lively community that develops software and toolkits for the design of corresponding …
lively community that develops software and toolkits for the design of corresponding …
[BOOK][B] Decision diagram techniques for micro-and nanoelectronic design handbook
SN Yanushkevich, DM Miller, VP Shmerko… - 2018 - taylorfrancis.com
Decision diagram (DD) techniques are very popular in the electronic design automation
(EDA) of integrated circuits, and for good reason. They can accurately simulate logic design …
(EDA) of integrated circuits, and for good reason. They can accurately simulate logic design …
Efficient Gröbner basis reductions for formal verification of Galois field arithmetic circuits
Galois field arithmetic is a critical component in communication and security-related
hardware, requiring dedicated arithmetic architectures for better performance. In many …
hardware, requiring dedicated arithmetic architectures for better performance. In many …