Error correction based on verification techniques

Proceedings - Design Automation Conference

Volumn , Issue , 1996, Pages 258-261

  Huang, Shi Yu ^a   Chen, Kuang Chien ^a   Cheng, Kwang Ting ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; ERROR CORRECTION; LOGIC DESIGN; LOGIC GATES;

BACK SUBSTITUTION; BOOLEAN DECISION DIAGRAM (BDD); CIRCUIT EQUIVALENCE; VERIFICATION TECHNIQUES;

COMBINATORIAL CIRCUITS;

EID: 0029712260     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/240518.240566     Document Type: Conference Paper

References (10)