NPTEL Video Course : Design Verification and Test of Digital VLSI Circuits

Lecture 14 - Introduction to formal methods for design verification