Permutation and phase independent Boolean comparison

Integration, the VLSI Journal

Volumn 16, Issue 2, 1993, Pages 109-129

  Mohnke, Janett ^a   Malik, Sharad ^b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

High level design tools; synthesis and verification; synthesis of field programmable gate arrays

Indexed keywords

COMBINATORIAL CIRCUITS; COMBINATORIAL MATHEMATICS; COMPUTATIONAL METHODS; DESIGN AIDS; ELECTRIC NETWORK SYNTHESIS; EQUIVALENCE CLASSES; FUNCTION EVALUATION; HEURISTIC METHODS; LOGIC DESIGN; LOGIC GATES; SEQUENTIAL MACHINES;

HIGH LEVEL DESIGN TOOLS; PERMUTATION; PHASE INDEPENDENT BOOLEAN COMPARISON; SYNTHESIS OF FIELD PROGRAMMABLE GATE ARRAYS;

BOOLEAN FUNCTIONS;

EID: 0027873364     PISSN: 01679260     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-9260(93)90041-A     Document Type: Article

References (14)

1. Logic Verification using Binary Decision Diagrams in a Logic Synthesis Environment
2. Graph-based algorithms for Boolean function manipulation
3. Verification of Sequential Machines Using Boolean Functional Vectors
4. Technology mapping using Boolean matching and don't care sets
5. Boolean matching using binary decision diagrams with applications to logic synthesis and verification
6. Efficient Boolean function matching
7. Verifying equivalence of functions with unknown input correspondence
8. Characterization of Boolean functions for rapid matching in EPGA technology mapping
9. Efficient Boolean matching based on unique variable ordering
10. Spectral transforms for large Boolean functions with applications to technology mapping
11. Restructering binary decision diagrams based on functional equivalence
12. Permutation and phase independent Boolean comparison
13. MIS A multiple-level logic optimization system