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


Lecture 15 - Temporal Logic: Introduction and Basic Operators


            


DIGIMAT Learning Management Platform