|
|
Volumn , Issue , 1996, Pages 629-634
|
|
Efficient equivalence checker for combinational circuits
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTATIONAL COMPLEXITY;
DECISION TABLES;
ELECTRIC NETWORK ANALYSIS;
EQUIVALENCE CLASSES;
HEURISTIC METHODS;
LOGIC DESIGN;
RECURSIVE FUNCTIONS;
BINARY DECISION DIAGRAMS (BDDS);
LOGIC FUNCTIONS;
COMBINATORIAL CIRCUITS;
|
|
EID: 0029720348
PISSN: 0738100X
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/240518.240637 Document Type: Conference Paper |
|
Times cited : (60)
|
|
References (8)
|
