|
Volumn , Issue , 1999, Pages 45-49
|
Lazy group sifting for efficient symbolic state traversal of FSMs
a a |
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 |
Times cited : (5)
|
References (17)
|