NPTEL Video Course : NOC:VLSI Design Verification and Test

Lecture 27 - Temporal Logic: Introduction and Basic Operations on Temporal Logic