How to generate tests using semi-formal technique: industrial experiences

This paper resulted from the successful application of semi-formal test generation techniques on two industrial designs: a block of a new high performance digital signal processors and a block of a new 64-bit processor core. We describe the developed test generation methodology that should be applicable to a wide range of designs.