11 search results - page 1 / 3 » Control Path Oriented Verification of Sequential Generic Cir... |
EURODAC
1994
IEEE
13 years 9 months ago
1994
IEEE
VLSID
2002
IEEE
14 years 5 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
ICCAD
1995
IEEE
13 years 8 months ago
1995
IEEE
This paper investigates the effect of the controller on the testability of sequential circuits composed of controllers and data paths. It is shown that even when both the controll...
TCAD
1998
13 years 4 months ago
1998
—We study the effect of the controller on the testability of sequential circuits composed of controllers and data paths. We show that even when all the loops of the circuit have ...
ET
2000
13 years 4 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...