Formal verification of FIRE: a case study

Proceedings - Design Automation Conference

Volumn , Issue , 1997, Pages 173-177

  Jang, Jae Young ^a   Qadeer, Shaz ^a   Kaufmann, Matt ^a   Pixley, Carl ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOBILE ELECTRONIC EQUIPMENT; ERROR CORRECTION; INTEGRATED CIRCUIT TESTING; LARGE SCALE SYSTEMS; MICROCOMPUTERS;

AUTOMOTIVE CHIP; FORMAL VERIFICATION; MODEL CHECKER;

MICROPROCESSOR CHIPS;

EID: 0030681184     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)