Deadlock Verification for Dummies – The Easy Way Using SVA and Formal

Living and working under stay at home orders, we might feel like a koala stuck in a tree. Or a design going into deadlock. But help is on the way! In Deadlock Verification for Dummies you’ll learn about an automated, formal-based solution that allows you to extend the traditional SVA syntax so you can easily detect deadlock scenarios, uncover hidden escape routes, and let the koalas run free!

Leave a Reply