Technical Reports

The ICICS/CS Reading Room


UBC CS TR-90-36 Summary

From Formal Verification to Silicon Compilation, January 1990 Jeffrey J. Joyce, Liu, Rushby, Shankar, Suaya and von Henke

Formal verification is emerging as a viable method for increasing design assurance for VLSI circuits. Potential benefits include reduction in the time and costs associated with testing and redesign, improved documentation and ease of modification, and greater confidence in the quality of the final product. This paper reports on an experiment whose main purpose was to identify the difficulties of integrating formal verification with conventional VLSI CAD methodology. Our main conclusion is that the most effective use of formal hardware verification will be at the higher levels of VLSI system design, with lower levels best handled by conventional VLSI CAD tools.


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.