Sciweavers

EURODAC
1994
IEEE

Symbolic exploration of large circuits with enhanced forward/backward traversals

13 years 7 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 limited to medium-size circuits. Approximate forward traversal deals with bigger circuits at the expense of exactness. Backward traversal takes into account many irrelevant, unreachable states. This paper combines the advantages of approximate forward traversal and of exact backward traversal. Cofactoring plays a key role in ecient function simpli cation. For the rst time, we are able to symbolically manipulate some of the larger ISCAS'89 and MCNC circuits in an exact way and to generate test patterns for them. 1 2
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1994
Where EURODAC
Authors Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Comments (0)