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

Lecture 21 - BDD based verification