| 2009 | A SystemC TLM2 model of communication in wormhole switched Networks-On-Chip. Adán Kohler, Martin Radetzki |
| 2009 | A SystemC superset for high-level synthesis. Maxim Smirnov, Andres Takach |
| 2009 | A VHDL-AMS modeling methodology for top-down/bottom-up design of RF systems. Torsten Mähne, Alain Vachoux, Frédéric Giroud, Matteo Contaldo |
| 2009 | A generic hardware / software communication middleware for streaming applications on shared memory multi processor systems-on-chip. Alain Greiner, Etienne Faure, Nicolas Pouillon, Daniela Genius |
| 2009 | A re-use methodology for formal SoC protocol compliance verification. Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann |
| 2009 | A top-down approach for the design of low-power microsensor nodes for wireless sensor network. Guillaume Terrasson, Renaud Briand, Skandar Basrour, Valérie Dupé |
| 2009 | Analysis of sense finger dynamics for accurate ΣΔ MEMS accelerometer modelling in VHDL-AMS. Chenxu Zhao, Tom J. Kazmierski |
| 2009 | Another take on functional system-level design and modeling. Tomasz Toczek, Dominique Houzet, Stéphane Mancini |
| 2009 | Checkpoint and Restore for SystemC models. Marius Monton, Jakob Engblom, Mark Burton |
| 2009 | DEVS2VHDL: Automatic transformation of XML-specified DEVS Model of Computation into synthesizable VHDL code. H. Gregor Molter, André Seffrin, Sorin Alexander Huss |
| 2009 | Design automation model for application-specific processors on reconfigurable fabric. Bayram Kurumahmut, Gökhan Kabukcu, Roza Ghamari, Arda Yurdakul |
| 2009 | Design of experiments for effective pre-silicon verification of automotive electronics. Monica Rafaila, Christoph Decker, Georg Pelz, Christian Grimm |
| 2009 | Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. Martin Streubühr, Jens Gladigau, Christian Haubelt, Jürgen Teich |
| 2009 | EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications. Bijoy Antony Jose, Jason Pribble, Lemaire Stewart, Sandeep K. Shukla |
| 2009 | Evaluation of SystemC-AMS modeling capabilities of RF front-end non-linearities: satellite receiver case study. Rami Khouri, Benjamin Nicolle, Lucas Alves Da Silva, William Tatinian, Gilles Jacquemod |
| 2009 | Exploration of embedded memories in SoCs using SystemC-based functional performance models. Hans-Peter Löb, Christian Sauer |
| 2009 | Extension of SystemC framework towards power analysis. Massimo Conti, Giovanni B. Vece, Sara Colazilli |
| 2009 | Fast and unified SystemC AMS - HDL simulation. Yaseen Zaidi, Christoph Grimm, Jan Haase |
| 2009 | Forum on specification and Design Languages, FDL 2009, September 22-24, 2009, Sophia Antipolis, France, Proceedings |
| 2009 | HSPICE implementation of a numerically efficient model of CNT transistor. Tom J. Kazmierski, Dafeng Zhou, Bashir M. Al-Hashimi |
| 2009 | High level synthesis using operation properties. Jan Langer, Ulrich Heinkel |
| 2009 | IP-XACT components with abstract time characterization. Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone |
| 2009 | ISIS: Runtime verification of TLM platforms. Luca Ferro, Laurence Pierre |
| 2009 | Linking GENESYS application architecture modelling with platform performance simulation. Subayal Khan, Susanna Pantsar-Syväniemi, Jari Kreku, Kari Tiensyrjä, Juha-Pekka Soininen |
| 2009 | Local application of simulation directed for Exhaustive Coverage of Schedulings of SystemC specifications. Fernando Herrera, Eugenio Villar |
| 2009 | Mixed simulation kernels for high performance virtual platforms. Marius Monton, Jordi Carrabina, Mark Burton |
| 2009 | Optimizing HW/SW Co-simulation based on run-time model switching. Michael Karner, Christian Steger, Reinhold Weiss, Eric Armengaud |
| 2009 | Proposal to extend frequency domain analysis in VHDL-AMS. Joachim Haase, Ewald Hessel, Heinz-Theo Mammen |
| 2009 | RAT-based formal verification of QDI asynchronous controllers. Khaled Alsayeg, Katell Morin-Allory, Laurent Fesquet |
| 2009 | Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis. Marko Rößler, Hailu Wang, Ulrich Heinkel, Nur Engin, Wolfram Drescher |
| 2009 | Reuse of a HW/SW coverification environment during the refinement process of a functional C model down to an executable HW/SW specification. Markus Winterholer, Florian Schäfer |
| 2009 | SMT-based stimuli generation in the SystemC Verification library. Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler |
| 2009 | Semi-automated Hw/Sw Co-design for embedded systems: from MARTE models to SystemC simulators. Luis Gabriel Murillo, Marcello Mura, Mauro Prevostini |
| 2009 | SystemC-based power simulation of wireless sensor networks. Jan Haase, Markus Damm, Johann Glaser, Javier Moreno, Christoph Grimm |
| 2009 | The application of Aspectual Feature Module in the development and verification of SystemC models. Jun Ye, Tun Li, Qingping Tan |
| 2009 | Transaction level modeling of a FlexRay communication network. M. Cheikhwafa, Sébastien Le Nours, Olivier Pasquier, Jean Paul Calvez |
| 2009 | Transaction level modeling of an adaptive multi-standard and multi-application radio communication system. Anthony Barreteau, Sébastien Le Nours, Olivier Pasquier, Jean Paul Calvez |
| 2009 | Understanding physical models in VHDL-AMS. Abdulhadi Shoufan, Sorin Alexander Huss |