COMMERCIAL VERIFICATION: 10/97 (a status report)


Now that formal verification is in mainstream commercial use for the design and development of integrated circuits, it is relevant to focus on the specific needs and new problems that have emerged from this use. This focus evolves monthly. I'll describe the current status, and apparent point of convergence.

Relevant Papers

R. P. Kurshan, "Formal Verification in a Commercial Setting" , Design Automation Conference, June 1996.

©2002-2018 U.C. Regents