Author:
Herdt Vladimir,Große Daniel,Drechsler Rolf
Publisher
Springer International Publishing
Reference53 articles.
1. B. Bailey, G. Martin, A. Piziali, ESL Design and Verification: A Prescription for Electronic System Level Methodology (Morgan Kaufmann/Elsevier, New York, 2007)
2. IEEE Standard 1666, IEEE Standard SystemC Language Reference Manual (2011)
3. M.Y. Vardi, Formal techniques for SystemC verification, in Proceedings of the 44th annual Design Automation Conference (2007), S. 188–192
4. V. Herdt, H.M. Le, R. Drechsler, Verifying SystemC using stateful symbolic simulation, in Proceedings of the 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) (2015), S. 49:1–49:6
5. V. Herdt, H. M. Le, D. Große, R. Drechsler, Verifying SystemC using intermediate verification language and stateful symbolic simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7), 1359–1372 (2019)