CSCI 660 EEGN-CSCI 660 Introduction to VLSI Design Lecture 6 Khurram Kazi.
Formal Techniques for SystemC Verification: Position Paper Moshe Y. Vardi Rice University.
