Improved reachability analysis of large finite state machines

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

Volumn , Issue , 1996, Pages 354-360

  Cabodi, Gianpiero ^a   Camurati, Paolo ^a   Quer, Stefano ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC NETWORK ANALYSIS; FINITE AUTOMATA; FLIP FLOP CIRCUITS; OPTIMIZATION; SEQUENTIAL MACHINES; STATE SPACE METHODS; SYSTEMS ANALYSIS;

BINARY DECISION DIAGRAM (BDD); STATE SET DECOMPOSITION;

APPLICATION SPECIFIC INTEGRATED CIRCUITS;

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

References (9)