13. FDL 2010:
Southampton,
UK
Adam Morawiec, Jinnie Hinderscheit (Eds.):
Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK.
ECSI, Electronic Chips & Systems design Initiative 2010 
LBSD1:
Inheritance and Modelling
ABD1:
Formal Models for Verification and Debug
LBSD2:
Power and Performance Optimisation
ABD Tutorial:
Robustness
ABD+LBSD:
Formal Models for Design Analysis
- Eugenio Villar, Fernando Herrera, Victor Fernández:
Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis.
74-79
- Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Ledu, Emmanuelle Encrenaz, Patricia Renault:
Formal Verification of Timed VHDL Programs.
80-85
- André Seffrin, Alexander Biedermann, Sorin A. Huss:
Tiny-Pi: A Novel Formal Method for Specification, Analysis and Verification of Dynamic Partial Reconfiguration Processes.
86-91
- Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato:
Modeling of Communication Infrastructure for Design-Space Exploration.
92-97
EAMS1:
More SystemC for "More than Moore"
LBSD3:
Efficient Analysis and Simulation of SystemC Models
EAMS2:
Analog and Mixed-Technology System Design
- Bo Wang, Ian O'Connor, Emmanuel Drouard, Lioula Labrak:
Bottom-up Verification Methodology for CMOS Photonic Linear Heterogeneous System.
149-154
- Marie Rouvière, Emmanuelle Bourdel, Sébastien Quintanel, Bertrand Granado:
VHDL-AMS model of RF-Interconnect System for Global On-Chip Communication.
155-158
- Florian Schupfer, Christoph Grimm, Markus Olbrich, Michael Kärgel, Erich Barke:
Towards Abstract Analysis Techniques for Range Based System Simulations.
159-164
- Chenxu Zhao, Tom J. Kazmierski:
Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A.
165-170
LBSD4:
Synthesis for SoC and Beyond
UMES1:
Model Driven Approaches for the Development of Embedded Systems
SystemC AMS Extensions
- 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.
210-215
- Sumit Adhikari, Christoph Grimm:
Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS.
216-221
- Monica Rafaila, Jérôme Kirscher, Christian Decker, Georg Pelz, Christoph Grimm:
Design of Experiments for Reliable Operation of Electronics in Automotive Applications.
222-227
- Thomas Arndt, Thomas Uhle, Karsten Einwich, Ingmar Neumann:
Using SystemCAMS for Heterogeneous Systems Modelling at TIER-1 Level.
228-233
- Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann:
An Accelerated Mixed-Signal Simulation Kernel for SystemC.
234-239
UMES2:
Time modelling with MARTE
Last update Fri May 25 08:14:02 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
