Verity—A formal verification program for custom CMOS circuits

• 1 January 1995
• journal article
• Published by IBM in IBM Journal of Research and Development
• Vol. 39  (1.2) , 149-165
• https://doi.org/10.1147/rd.391.0149

Abstract