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

Lecture 17 - Syntax and Semantics of CTL – Continued