Automating the diagnosis and the rectification of design errors with PRIAM

Volumn , Issue , 1989, Pages 30-33

  Madre, Jean Christophe ^a   Coudert, Olivier ^a   Billon, Jean Paul ^a  

^a Fr ^*

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER METATHEORY--BOOLEAN FUNCTIONS; ELECTRONIC CIRCUITS, DIGITAL--TESTING;

20,000 TRANSISTORS; AUTOMATED FORMAL VERIFIER; BOOLEAN EQUATION SOLVING; DESIGN ERRORS;

INTEGRATED CIRCUIT TESTING;

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

References (11)