1. Functional Test Generation for Digital Circuits Described Using Binary Decision Diagrams
2. ‘Symbolic verification of MOS circuits’, Proc. 1985 Chapel Hill Conf. on Very Large Scale Integration, Computer Science Press, Chapel Hill, 1985, pp. 419–438.
3. Testing of differential cascade voltage switch (DCVS) circuits
4. , and , ‘Accurate fault modelling and efficient simulation of differential CVS circuits’, Proc. IEEE Int. Test Conf., IEEE, New York, 1985, pp. 722–729.
5. and , ‘On constructing efficient DCVS trees using BDDs’, Computer Technology Institute Tech. Rep. CTI-TR95625, 1995.