Reactivity in SystemC Transaction−Level Models
Frederic Doucet‚ R. K. Shyamasundar‚ Ingolf H. Krüger‚ Saurabh Joshi and Rajesh K. Gupta
Book Title
Hardware and Software: Verification and Testing‚ Third International Haifa Verification Conference‚ HVC 2007‚ Haifa‚ Israel‚ October 23−25‚ 2007‚ Proceedings
Editor
Karen Yorav
ISBN
978−3−540−77964−3
Pages
34–50
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4899
Year
2008