Binary decision diagrams and beyond: Enabling technologies for formal verification

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1995, Pages 236-243

  Bryant, Randal E ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; DECISION THEORY; GRAPH THEORY;

FORMAL VERIFICATION;

BOOLEAN FUNCTIONS;

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

References (23)