NPTEL Video Course : NOC:VLSI Design Flow: RTL to GDS

Lecture 24 - Formal Verification - III