Design, Automation and Test in Europe (DATE '99) Illegal State Space Identification for Sequential Circuit Test Generation Munich, Germany March 09-March 12 ISBN: 0-7695-0078-1
Techniques and data-structures are proposed to expand the known Global Illegal State (GIS) space, in order to reduce the search space of sequential circuit test generation.The techniques use the known GISes to generate candidate GISes, which have to be proven unjustifiable. This improves STPG performance by reducing the number of stored GISes, while covering a larger part of the GIS space.
Citation:
M. Konijnenburg, J. Van der Linden, A. van de Goor, "Illegal State Space Identification for Sequential Circuit Test Generation," date, pp.741, Design, Automation and Test in Europe (DATE '99), 1999 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||