TY  - DATA
AU  - "Biswas, Santosh"
AU  - "Deka, Jatindra Kumar"
TI  - Design Verification and Test of Digital VLSI Circuits: Equivalence between CTL Formulas
CY  - Guwahati
PB  - Indian Insitiute of Technology
KW  - "Prof. Jatindra Kumar Deka,Dr. Santosh Biswas"
KW  - Computer Science and  Engineering
KW  - Design Verification and Test of Digital VLSI Circuits
KW  - Equivalence between CTL Formulas
KW  - IIT Guwahati
KW  - NPTEL
UR  - http://video.snu.edu.in/index.php?id=7280&cat=Computer Science and  Engineering&course=Design Verification and Test of Digital VLSI Circuits&url=Phase2_Video/106103116/mod04lec05.mp4
ER  -