Tools and techniques for converting simulation models into test patterns

This paper focuses on the problems of extraction of the timing and functional data from the simulation of a complex digital device and the creation of a test pattern suitable for execution on a digital test system. The specific areas of interest are the structure of the device model, representation of the timing information, and language for defining waveforms.<
>