NPTEL Video Course : NOC:VLSI Design Verification and Test
Lecture 32 - Model checking Algorithms
Home
Previous
Next
Thumbnails