Formal methods in CAD from an industrial perspective

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1522, Issue , 1998, Pages 203-

  Seger, Carl Johan H ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; FORMAL VERIFICATION; INFERENCE ENGINES;

ABSTRACTION VERIFICATION; CIRCUIT VERIFICATION; INDUSTRIAL SETTINGS; INFERENCE RULES; MODEL CHECKING ALGORITHM; SYMBOLIC SIMULATION; SYMBOLIC TRAJECTORY EVALUATION; VERIFICATION SYSTEMS;

MODEL CHECKING;

EID: 84948959048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49519-3_14     Document Type: Conference Paper

References (0)