1 search results - page 1 / 1 » Symbolic exploration of large circuits with enhanced forward... |
140
click to vote
EURODAC
1994
IEEE
15 years 10 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 ...