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!

Comments

One thought about “Deadlock Verification for Dummies – The Easy Way Using SVA and Formal

Leave a Reply

This article first appeared on the Siemens Digital Industries Software blog at https://blogs.sw.siemens.com/news/deadlock-verification-for-dummies-the-easy-way-using-sva-and-formal/