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

Lecture 21 - Formal Verification - I