Conference paperExhaustive simulation need not require an exponential number of testsD. BrandICCAD 1992
PaperEarly analysis tools for system-on-a-chip designJ.A. Darringer, Reinaldo A. Bergamaschi, et al.IBM J. Res. Dev