Conference paperExhaustive simulation need not require an exponential number of testsD. BrandICCAD 1992