Is it Time to Declare a Verification War?

Download Presentation by Brian Bailey

What is Functional Closure?

"The Verdi tool helped cut our debug time in half"

-Nguyen Le, a senior verification engineer in the XBOX Group at Microsoft

Functional Closure Resources

Verdi Interoperable Apps