1. A. Haverinen, M. Leclercq, N. Weyrich, and D. Wingard, “SystemC-based SoC Communication Modeling for the OCP Protocol,” [Online document] 2002 Oct 14 (V 1.0), [cited 2004 Nov 5], Available at HTTP: http://www.ocpip.org/socket/whitepapers/
2. J. Gerlach and W. Rosenstiel, “System Level Design Using the SystemC Modeling Platform,” in Proc. of the Forum on Specification & Design Languages (FDL’00), 2000.
3. L. Semeria and A. Ghosh, “Methodology for Hardware/Software Co-verification in C/C++,” in Proc. of the High-Level Design Validation and Test Workshop (HLDVT’99), 1999.
4. A. Fin, F. Fummi, M. Martignano, and M. Signoretto, “SystemC: A Homogenous Environment to Test Embedded Systems,” in Proc. of the IEEE International Symposium on Hardware/Software Co-design (CODES’01), 2001.