NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 26 - Introduction to formal methods for design verification