Equivalence checking using abstract BDDs

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 1997, Pages 332-337

  Jha, S ^a   Lu, Y ^a   Minea, M ^a   Clarke, E M ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; DIGITAL ARITHMETIC; EQUIVALENCE CLASSES; HEURISTIC METHODS; MULTIPLYING CIRCUITS;

ABSTRACT BINARY DECISION DIAGRAMS (ABDD); EQUIVALENCE CHECKING;

DECISION THEORY;

EID: 0031357424     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)