1 search results - page 1 / 1 » Symbolic exploration of large circuits with enhanced forward... |
EURODAC
1994
IEEE
14 years 3 months ago
1994
IEEE
Symbolic state space exploration techniques for Finite State Machines (FSMs) are a major recent result in CAD for VLSI. Most of them are exact and based on forward traversal, but ...