Boolean matching using binary decision diagrams with applications to logic synthesis and verification

2003 ◽  
Author(s):  
Y.-T. Lai ◽  
S. Sastry ◽  
M. Pedram
Keyword(s):  
Binary Decision Diagrams ◽  
Logic Synthesis ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Boolean Matching

scholarly journals Decomposition-based logic synthesis for PAL-based CPLDs

2010 ◽  
Vol 20 (2) ◽  
pp. 367-384 ◽  
Author(s):  
Adam Opara ◽  
Dariusz Kania
Keyword(s):  
Binary Decision Diagrams ◽  
Logic Synthesis ◽  
Decomposition Methods ◽  
Decision Diagrams ◽  
Two Stage ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision ◽  
Single Output ◽  
Programmable Device ◽  
Logic Blocks

Decomposition-based logic synthesis for PAL-based CPLDsThe paper presents one concept of decomposition methods dedicated to PAL-based CPLDs. The proposed approach is an alternative to the classical one, which is based on two-level minimization of separate single-output functions. The key idea of the algorithm is to search for free blocks that could be implemented in PAL-based logic blocks containing a limited number of product terms. In order to better exploit the number of product terms, two-stage decomposition and BDD-based decomposition are to be used. In BDD-based decomposition methods, functions are represented by Reduced Ordered Binary Decision Diagrams (ROBDDs). The results of experiments prove that the proposed solution is more effective, in terms of the usage of programmable device resources, compared with the classical ones.

scholarly journals Reversible Logic Synthesis via Biconditional Binary Decision Diagrams

2015 ◽  
Author(s):  
Anupam Chattopadhyay ◽  
Alessandro Littarru ◽  
Luca Amaru ◽  
Pierre-Emmanuel Gaillardon ◽  
Giovanni De Micheli
Keyword(s):  
Binary Decision Diagrams ◽  
Logic Synthesis ◽  
Reversible Logic ◽  
Decision Diagrams ◽  
Binary Decision ◽  
Reversible Logic Synthesis
Sign in / Sign up

Export Citation Format

Share Document