NPTEL Video Course : Design Verification and Test of Digital VLSI Circuits

Lecture 21 - Model Checking Algorithms - II