2010 share record
persistent URL:
Sumit Adhikari , Christoph Grimm : Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS. FDL 2010 : 216-221 share record
persistent URL:
Thomas Arndt , Thomas Uhle , Karsten Einwich , Ingmar Neumann : Using SystemCAMS for Heterogeneous Systems Modelling at TIER-1 Level. FDL 2010 : 228-233 share record
persistent URL:
Abdelrezzak Bara , Pirouz Bazargan-Sabet , Remy Chevallier , Dominique Le Dû , Emmanuelle Encrenaz , Patricia Renault : Formal Verification of Timed VHDL Programs. FDL 2010 : 80-85 export record
dblp key:
conf/fdl/BrettschneiderH10 share record
persistent URL:
Matthias Brettschneider , Tobias Häberlein : Functional Abstractions for UML Activity Diagrams. FDL 2010 : 191-196 share record
persistent URL:
Peter Brunmayr , Jan Haase , Christoph Grimm : A Tripartite System Level Design Approach for Design Space Exploration. FDL 2010 : 50-55 share record
persistent URL:
Matthias Büker , Kim Grüttner , Philipp A. Hartmann , Ingo Stierand : Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks. FDL 2010 : 43-48 share record
persistent URL:
Alexander Finder , Görschwin Fey : Evaluating Debugging Algorithms from a Qualitative Perspective. FDL 2010 : 37-42 share record
persistent URL:
Franco Fummi , Davide Quaglia , Francesco Stefanni , Giovanni Lovato : Modeling of Communication Infrastructure for Design-Space Exploration. FDL 2010 : 92-97 share record
persistent URL:
Calin Glitia , Julien DeAntoni , Frédéric Mallet : Logical Time at Work: Capturing Data Dependencies and Platform Constraints. FDL 2010 : 241- share record
persistent URL:
David J. Greaves , M. J. Nam : Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. FDL 2010 : 171-177 share record
persistent URL:
Kim Grüttner , Kai Hylla , Sven Rosinger , Wolfgang Nebel : Towards an ESL Framework for Timing and Power Aware Rapid Prototyping of HW/SW Systems. FDL 2010 : 56-61 share record
persistent URL:
Jan Haase , Mario Lang , Christoph Grimm : Mixed-Level Simulation of Wireless Sensor Networks. FDL 2010 : 99-104 share record
persistent URL:
Mohammad Hosseinabady , José L. Núñez-Yáñez : SystemC Architectural Transaction Level Modelling for Large NoCs. FDL 2010 : 142-147 share record
persistent URL:
Padma Iyenghar , Clemens Westerkamp , Juergen Wuebbelmann , Elke Pulvermüller : An Architecture for Deploying Model Based Testing in Embedded Systems. FDL 2010 : 203-208 share record
persistent URL:
Barbara Jobstmann : Robustness with Respect to Error Specifications. FDL 2010 : 72 share record
persistent URL:
Rauf Salimi Khaligh , Martin Radetzki : A Dynamic Load Balancing Method for Parallel Simulation of Accuracy Adaptive TLMs. FDL 2010 : 130-135 share record
persistent URL:
Tobias Kirchner , Nico Bannow , Christian Kerstan , Christoph Grimm : Mixed Signal Simulation with SystemC and Saber. FDL 2010 : 111-116 share record
persistent URL:
Jan Kuper , Christiaan Baaij , Matthijs Kooijman : Exercises in Architecture Specification Using CLaSH. FDL 2010 : 178-183 share record
persistent URL:
Sébastien Le Nours , Anthony Barreteau , Olivier Pasquier : Modeling Technique for Simulation Time Speed-up of Performance Computation in Transaction Level Models. FDL 2010 : 136-141 share record
persistent URL:
Régis Leveugle : Early Robustness Evaluation of Digital Integrated Systems. FDL 2010 : 69-70 share record
persistent URL:
Sacha Loitz , Markus Wedler , Dominik Stoffel , Christian Brehm , Norbert Wehn , Wolfgang Kunz : Complete Verification of Weakly Programmable IPs against Their Operational ISA Model. FDL 2010 : 29-36 share record
persistent URL:
Kevin Marquet , Bageshri Karkare , Matthieu Moy : A Theoretical and Experimental Review of SystemC Front-ends. FDL 2010 : 124-129 share record
persistent URL:
François Pêcheux , Amer Habib : Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing. FDL 2010 : 210-215 share record
persistent URL:
Pablo Peñil , Fernando Herrera , Eugenio Villar : Formal Foundations for MARTE-SystemC Interoperability. FDL 2010 : 197-202 share record
persistent URL:
Jon Pérez , Carlos Fernando Nicolás , Roman Obermaisser , Christian El Salloum : Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. FDL 2010 : 10-15 share record
persistent URL:
Monica Rafaila , Jérôme Kirscher , Christian Decker , Georg Pelz , Christoph Grimm : Design of Experiments for Reliable Operation of Electronics in Automotive Applications. FDL 2010 : 222-227 share record
persistent URL:
David Rich : A Solution to the Lack of Multiple Inheritance in SystemVerilog. FDL 2010 : 16-21 share record
persistent URL:
Marie Rouvière , Emmanuelle Bourdel , Sébastien Quintanel , Bertrand Granado : VHDL-AMS model of RF-Interconnect System for Global On-Chip Communication. FDL 2010 : 155-158 share record
persistent URL:
Florian Schupfer , Christoph Grimm , Markus Olbrich , Michael Kärgel , Erich Barke : Towards Abstract Analysis Techniques for Range Based System Simulations. FDL 2010 : 159-164 share record
persistent URL:
André Seffrin , Alexander Biedermann , Sorin A. Huss : Tiny-Pi: A Novel Formal Method for Specification, Analysis and Verification of Dynamic Partial Reconfiguration Processes. FDL 2010 : 86-91