6.3K
Downloads
50
Episodes
Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
Episodes
Tuesday Oct 13, 2020
Tuesday Oct 13, 2020
In this podcast, Dr. Darbari discusses architectural formal verification and deadlocks in processors. Deadlocks can cause all sorts of issues in the design and though you may believe that reset would be a great way of bringing the chip out of the deadlock, your customers may not want to always reboot the device. Use Axiomise formalISA to find & fix deadlocks and if you like prove that they have been fixed.
Comments (0)
To leave or reply to comments, please download free Podbean or
No Comments
To leave or reply to comments,
please download free Podbean App.