2022-02-14 - Dr. Ashish Darbari, Axiomise

IC design: A short primer on the formal methods-based verification

Design verification groups are using formal methods, though not consistently. Here is an insight on their practical advantages in IC…