Conference paperApplications of global flow analysis in logic synthesisLeonard Berman, Louise Trevillyan, et al.ISCAS 1987
PaperIncremental synthesisD. Brand, A.D. Drumm, et al.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Conference paperExhaustive simulation need not require an exponential number of testsD. BrandICCAD 1992