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

Lecture 23 - Formal Verification - II