High-density reachability analysis

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

Volumn , Issue , 1995, Pages 154-158

  Ravi, Kavita ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DECISION THEORY; SEQUENTIAL CIRCUITS; STATE SPACE METHODS;

BINARY DECISION DIAGRAMS (BDD); REACHABILITY ANALYSIS;

FINITE AUTOMATA;

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

References (13)