1Prakash Rashinkar, Peter Paterson, Leena Singh. System-On-a-Chip verification methodology and techniques[M]. Kluwer Academic Publishers, 2001.
2Thorsten Grotker, Stan Liao, Grant Martin, Stuart Swan. System design with SystemC[M]. Kluwer Academic Publishers, 2002.
3Rohit Jindal, Kshitiz Jain. Verification of Transaction-Level SystemC models using RTL Testbenches[C]. Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, IEEE 2003.
4SystemC Verification Working Group. The SystemC verification standard specification[DB.OL]. http://www/systemc.org/, 2003.