NPTEL Video Course : NOC:Optimization Techniques for Digital VLSI Design

Lecture 19 - LTL/CTL based Verification