Reliable verification using symbolic simulation with scalar values

Proceedings - Design Automation Conference

Volumn , Issue , 2000, Pages 124-129

  Wilson, Chris ^a   Dill, David L ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTER HARDWARE; COMPUTER SIMULATION; RELIABILITY;

HARDWARE VERIFICATION; QUASI SYMBOLIC SIMULATION; SATISFIABILITY CHECKING TECHNIQUES;

PROGRAM DIAGNOSTICS;

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

References (9)