Why and how to use formal verification

Tom Verbeure, a digital design engineer at a large Silicon Valley chip company,  looked at the formal verification tools available from Symbiotic EDA. He wrote a blog entry about why and how to use formal methods. Definitely worth a read.

Leave a Reply

Your email address will not be published. Required fields are marked *