Efficient equivalence checking of multi-phase designs using retiming

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1998, Pages 557-562

  Hasteer, Gagan ^a   Mathur, Anmol ^a   Banerjee, Prithviraj ^a  

^a Ambit Design Systems   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; INTEGRATED CIRCUIT LAYOUT; MICROPROCESSOR CHIPS;

EQUIVALENCE CHECKING;

COMPUTER AIDED NETWORK ANALYSIS;

EID: 0032312311     PISSN: 10923152     EISSN: None     Source Type: None    
DOI: 10.1145/288548.289086     Document Type: Conference Paper

References (5)