ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration, 2008 Asia and South Pacific Design Automation Conference, pp.673-678, 2008. ,
DOI : 10.1109/ASPDAC.2008.4484036
Overcoming limitations of the SystemC data introspection, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.590-593, 2009. ,
DOI : 10.1109/DATE.2009.5090734
Fast cycle accurate simulator to simulate event-driven behavior, International Conference on Electrical, Electronic and Computer Engineering, 2004. ICEEC '04., pp.35-38, 2004. ,
DOI : 10.1109/ICEEC.2004.1374374
Scoot: A Tool for the Analysis of SystemC??Models, TACAS, pp.467-470, 2008. ,
DOI : 10.1007/978-3-540-78800-3_36
Semantics-preserving parallelization of the SystemC scheduler for reduced simulation times, 2007. ,
Model checking SystemC designs using timed automata, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, CODES/ISSS '08, pp.131-136, 2008. ,
DOI : 10.1145/1450135.1450166
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.4194
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level, Design Automation for Embedded Systems, vol.10, issue.2-3, 2006. ,
DOI : 10.1007/s10617-006-9044-6
URL : https://hal.archives-ouvertes.fr/hal-00310999
Parsyc: An efficient SystemC parser, Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), pp.148-154, 2004. ,
An open-source tool for SystemC to verilog automatic translation, pp.53-58, 2007. ,
PCCTS reference manual, ACM SIGPLAN Notices, vol.27, issue.2, pp.88-165, 1992. ,
DOI : 10.1145/130973.130980
SyCE: An Integrated Environment for System Design in SystemC, 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), pp.258-260, 2005. ,
DOI : 10.1109/RSP.2005.46
CheckSyC: An Efficient Property Checker for RTL SystemC Designs, 2005 IEEE International Symposium on Circuits and Systems, pp.4167-4170, 2005. ,
DOI : 10.1109/ISCAS.2005.1465549
Parsing systemC: an open-source, easy-to-extend parser, IADIS International Conference on Applied Computing, pp.25-28, 2006. ,
SystemCXML: An extensible SystemC front end using XML, Forum on specification and design languages (FDL), 2005. ,
The quiny SystemC front end: Selfsynthesising designs, FDL. ECSI, pp.135-143, 2006. ,
Pinapa, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.317-324, 2005. ,
DOI : 10.1145/1086228.1086286
URL : https://hal.archives-ouvertes.fr/hal-00198669
A theoretical and experimental review of SystemC front-ends, 2010 Forum on Specification & Design Languages (FDL 2010), 2010. ,
DOI : 10.1049/ic.2010.0140
URL : https://hal.archives-ouvertes.fr/hal-00495886
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form, Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Electronic Communications of the EASST, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00400272
An effective approach for model checking SystemC designs, 2008 8th International Conference on Application of Concurrency to System Design, pp.56-61, 2008. ,
DOI : 10.1109/ACSD.2008.4574596
Portable SystemC-on-a-chip, Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, CODES+ISSS '09, pp.21-30, 2009. ,
DOI : 10.1145/1629435.1629439
LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., p.75, 2004. ,
DOI : 10.1109/CGO.2004.1281665