Author:
Chen Mingsong,Qin Xiaoke,Koo Heon-Mo,Mishra Prabhat
Reference33 articles.
1. Abrar S, Thimmapuram A (2010) Functional refinement: a generic methodology for managing ESL abstractions. In: Proceedings of international conference on VLSI design (VLSID), pp 122–127
2. Bombieri N, Fummi F, Pravadelli G, Marques-Silva J (2007) Towards equivalence checking between TLM and RTL models. In: Proceedings of international conference on formal methods and models for co-design (MEMOCODE), pp 113–122
3. Bruce A, Hashmi M, Nightingale A, Beavis S, Romdhane N, Lennard C (2006) Maintaining consistency between SystemC and RTL system designs. In: Proceedings of design automation conference (DAC), pp 85–89
4. Cai L, Gajski D (2003) Transaction level modeling: an overview. In: Proceedings of international conference on hardware/software codesign and system, synthesis (CODES+ISSS), pp 19–24
5. Ghenassia F (2005) Transaction-level modeling with SystemC: TLM concepts and applications for embedded systems. Springer, Dordrecht