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