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…