CS 150 - Spring 2008 – Lec #23 – Verification - 1 Formal Verification zHow do I know if my circuit works? zSimulation zFormal Verification: prove it works.
