Sciweavers

Share
1 search results - page 1 / 1
» Symbolic exploration of large circuits with enhanced forward...
Sort
View
EURODAC
1994
IEEE
110views VHDL» more  EURODAC 1994»
11 years 5 months ago
Symbolic exploration of large circuits with enhanced forward/backward traversals
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 ...
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
books