Author:
Goli Mehran,Drechsler Rolf
Publisher
Springer International Publishing
Reference23 articles.
1. J. Aynsley (Hrsg.), OSCI TLM-2.0 Language Reference Manual (Open SystemC Initiative (OSCI), 2009)
2. C. N. Chou, Y. S. Ho, C. Hsieh, C. Y. Huang, Symbolic model checking on SystemC designs, in Design Automation Conference (DAC), San Francisco, CA (2012), S. 327–333
3. D. Große, H. M. Le, R. Drechsler, Proving transaction and system-level properties of untimed SystemC TLM designs, in ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCOD), Grenoble (2010), S. 113–122
4. A. Habibi, S. Tahar, Design and verification of SystemC transaction-level models, in IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Bd 14 (2006), S. 57–68
5. P. Herber, S. Glesner, A HW/SW co-verification framework for SystemC. ACM Trans. Embed. Comput. Syst. 12, 61:1–61:23 (2013)