Probabilistic analysis of large finite state machines

Proceedings - Design Automation Conference

Volumn , Issue , 1994, Pages 270-275

  Hachtel, Gary D ^a   Macii, Enrico ^a   Pardo, Abelardo ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; CALCULATIONS; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FINITE AUTOMATA; GRAPH THEORY; LOGIC DESIGN; MATHEMATICAL MODELS; PROBABILITY; SEQUENTIAL MACHINES;

ALGEBRAIC DECISION DIAGRAMS; ARBITRARY TRANSITION STRUCTURES; FINITE STATE MACHINES; FORMAL VERIFICATION PROBLEMS; LOGIC SYNTHESIS;

COMPUTER SYSTEMS;

EID: 0028599185     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/196244.196374     Document Type: Conference Paper

References (10)