top of page
Additional Technical References
Chapter 6: Characteristics of Formal Equivalency Verification
-
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.
bottom of page