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

Lecture 25 - Formal Verification - IV