1. Chen M S, Mishra P. Assertion-based functional consistency checking between TLM and RTL models. In: Proceedings of VLSI Design and the 12th International Conference on Embedded Systems. 2012, 320–325
2. Bombieri N, Fummi F, Pravadelli G. RTL-TLM equivalence checking based on simulation. In: Proceedings of IEEE East-West Design and Test symposium (EWDTS). 2008, 214–217
3. Cai L K, Gajski D. Transaction level modeling in system level design. Center for Embedded Computer Systems, 2003
4. Rose A, Swan S, Pierce J, Fernandez J M. Transaction level modeling in SystemC. Open SystemC Initiative, 2005
5. Bombieri N, Fummi F, Pravadelli G. Automatic abstraction of RTL IPs into equivalent TLM descriptions. IEEE Transactions on Computers, 2010, 60(12): 1730–1743