8. FDL 2005:
Lausanne,
Switzerland
Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings.
ECSI 2005 BibTeX
Plenary Session 1:
European Technology Platforms & Avionics Electronics
Plenary Session 2:
Performance Modelling
AMS-1:
New Languages
AMS-2:
Keynote & Design and IP
- Ralf Kakerow:
Modelling Technologies for Disruptive Communication System Design.
81-89 BibTeX
- Ian O'Connor, Faress Tissafi-Drissi, G. Revy, Frédéric Gaffiot:
UML/XML based approach to hierarchical AMS Synthesis.
89-101
Electronic Edition (link) BibTeX
- Ewald Hessel, Klaus Panreck, Joachim Haase, André Schneider, Steffen Scholz:
Development of VHDL-AMS Libraries for Automative Applications.
101-111
Electronic Edition (link) BibTeX
- G. Gassara, Ahmed Fakhfakh, M. Abdellaoui, Nouri Masmoudi, Yannick Hervé:
Top-down hierarchical design flow application.
111-120
Electronic Edition (link) BibTeX
AMS-3:
Tolerances and Uncertainties
AMS-4:
System Verification and Design Flow
- Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer:
Automatic Generation of a Verification Platform.
153-165
Electronic Edition (link) BibTeX
- Luis Avila, Rolando Dölling, Thomas Ifström, Peter Jores, Wolfgang Rosenstiel:
Toward seamless top-down of A/MS systems.
165-172
Electronic Edition (link) BibTeX
- Patrick Birrer, Walter Hartong:
Incorporating SystemC in Analog/Mixed-Signal Design Flow.
173-178
Electronic Edition (link) BibTeX
- David Navarro, D. Ramat, Fabien Mieyeville, Ian O'Connor, Frédéric Gaffiot, L. Carrel:
VHDL & VHDL-AMS Modelling and Simulation of a CMOS Imager IP.
179-183
Electronic Edition (link) BibTeX
- Salima Feki, Ahmed Fakhfakh, Yannick Hervé, Abdelmajid Oualha, Nouri Masmoudi:
VHDL-AMS virtual prototyping in power electronics.
183-189
Electronic Edition (link) BibTeX
AMS-5:
Modelling
CSD Keynotes:
- A. Clouard:
Overcoming issues to reach full adoption and benefit of C/C++based system design methodologies in real System-on-Chip projects.
223-224 BibTeX
- Tim Kogel, Anssi Haverinen:
OCP TLM for Architectural Modelling.
225-244 BibTeX
CSD-1:
TLM Modelling
- Giovanni B. Vece, Massimo Conti, Simone Orcioni:
Devices modelling in SystemC based on behaviour separation.
245-257
Electronic Edition (link) BibTeX
- Robert Pasko, Luc Rynders:
Building heterogeneous plaftorm simulators in C++.
257-269
Electronic Edition (link) BibTeX
- Richard Hoffer, Frank Baszynski:
Implementation of a SystemC based Environment.
269-273
Electronic Edition (link) BibTeX
- David Antonio-Torres, Paul F. Newbury, Paul F. Lister:
Executable Specification of Novel Display Controllers.
273-279
Electronic Edition (link) BibTeX
- Francesco Bruschi, Federico Moro, Donatella Sciuto:
Mapping Interface Method Calls over OCP Buses.
279-283
Electronic Edition (link) BibTeX
- Samy Meftali, Anouar Dziri, Luc Charest, Philippe Marquet, J. Deskeyser:
SOAP Based Distributed Simulation Environment for SoC Design.
283-291
Electronic Edition (link) BibTeX
CSD-2:
Heterogeneous models of computation
CSD-3:
HW/WF Co-Design and Synthesis
- André C. Nácul, Marcello Lajolo, T. Givarjis:
Interface-Centric Abstraction Level for Rapid HW/SW Integration.
329-341
Electronic Edition (link) BibTeX
- L. Kriaa, S. Adriano, E. Vaumorin, R. Nouacer, F. Blanc, S. Pajaniardja, Philippe Coussy, Eric Martin, D. Heller, F. Thabet, Anne-Marie Fouilliart:
SystemCmantic: A high level Modelling and Co-Design Framework.
341-353
Electronic Edition (link) BibTeX
- Antoni Portero, Lluis Ribas, Jordi Carrabina:
Hardware Synthesis of Parallel Machines from SystemC.
353-361
Electronic Edition (link) BibTeX
CSD-4:
Multi-Language Design
- Hiren D. Patel, Sandeep K. Shukla:
Towards Behavioural Hierarchy Extensions for SystemC.
361-373
Electronic Edition (link) BibTeX
- J. Vennin, S. Penain, Luc Charest, Samy Meftali, Jean-Luc Dekeyser:
Embed Scripting inside SystemC.
373-385
Electronic Edition (link) BibTeX
- Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Efficient and Customizable Integration of Temporal Properties.
385-397
Electronic Edition (link) BibTeX
- Giovanni Agosta, Francesco Bruschi, Donatella Sciuto:
Aspect Orientation in System Level Design.
397-401
Electronic Edition (link) BibTeX
- Francesco Regazzoni, André C. Nácul, Marcello Lajolo:
Automatic synthesis of the Hardware/Software Interface.
401-405
Electronic Edition (link) BibTeX
- David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla:
SystemCXML: An Exstensible SystemC Front end Using XML.
405-409
Electronic Edition (link) BibTeX
EDA Vendor Track:
C-based Design
GEN Session:
System Model of Control & Computation and Communication
PSL Session:
UML-1:
Workflow for Embedded System Design
UML-2:
Model Driven Engineering
UML-3:
Verification and Validation
UML-4:
Ongoing standardization
Copyright © Sat May 16 23:11:59 2009
by Michael Ley (ley@uni-trier.de)
