Formal hardware verification with BDDs: An introduction

IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings

Volumn 2, Issue , 1997, Pages 677-682

  Hu, Alan J ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DECISION THEORY; THEOREM PROVING;

BINARY DECISION DIAGRAMS (BDD); FORMAL HARDWARE VERIFICATION;

COMPUTER HARDWARE;

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

References (28)