Reachability analysis using partitioned-ROBDDs

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

Volumn , Issue , 1997, Pages 388-393

  Narayan, Amit ^a   Isles, Adrian J ^a   Jain, Jawahar ^a   Brayton, Robert K ^a   Sangiovanni Vincentelli, Alberto L ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DECISION TABLES; FINITE AUTOMATA; STATE SPACE METHODS; STORAGE ALLOCATION (COMPUTER);

REDUCED ORDERED BINARY DECISION DIAGRAMS (ROBDD);

SEQUENTIAL MACHINES;

EID: 0031338901     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iccad.1997.643565     Document Type: Conference Paper

References (33)