Conference paperExhaustive simulation need not require an exponential number of testsD. BrandICCAD 1992
Conference paperApplications of global flow analysis in logic synthesisLeonard Berman, Louise Trevillyan, et al.ISCAS 1987