Implicit state enumeration of finite state machines using BDD's

1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers

Volumn , Issue , 1990, Pages 130-133

  Touati, HerveJ ^a   Savoj, Hamid ^a   Lin, Bill ^a   Brayton, Robert K ^a   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS;

BINARY DECISION DIAGRAMS; STATE ENUMERATION;

AUTOMATA THEORY;

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

References (9)