Efficient design error correction of digital circuits

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

Volumn , Issue , 2000, Pages 465-472

  Hoffmann, Dirk W ^a   Kropf, Thomas ^a  

^a UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE; EQUIVALENCE CLASSES; ERROR CORRECTION; ERROR DETECTION; FORMAL LOGIC; OPTIMIZATION; SEQUENTIAL CIRCUITS; VLSI CIRCUITS;

EQUIVALENCE CHECKING;

DIGITAL CIRCUITS;

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

References (24)