Lazy group sifting for efficient symbolic state traversal of FSMs

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

Volumn , Issue , 1999, Pages 45-49

  Higuchi, Hiroyuki ^a   Somenzi, Fabio ^a  

^a FUJITSU LABORATORIES LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTATION THEORY; DATA STRUCTURES; IMAGE PROCESSING; SEQUENTIAL CIRCUITS;

BINARY DECISION DIAGRAMS; EFFICIENT SYMBOLIC STATE TRANSVERSAL; FINITE STATE MACHINE; LAZY GROUP SIFTING;

ASYNCHRONOUS MACHINERY;

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

References (17)