Additional Technical References

Chapter 6:   Characteristics of Formal Equivalency Verification

​

1. Kuehlmann, A., et al., "Verity - A formal verification program for custom CMOS circuits", IBM Journal of Research & Development, Vol. 31, No. 1/2, January/March 1995.