9. FDL 2006:
Darmstadt,
Germany
Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings.
ECSI 2006, ISBN 978-3-00-019710-9 BibTeX
AMS-1:
Formal and symbolic techniques for AMS Design
AMS-2:
C-based Design of Mixed Signal Systems
See CSD Session 1
AMS-3:
Modelling Approaches
AMS-4:
Verification and methodology
- Martin Freibothe, Jens Doege, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock:
Verification-Oriented Behavioral Modeling of Non-Linear Analog.
53-60
Electronic Edition (link) BibTeX
- C. Bestory, F. Marc, H. Levi, Y. Danto:
Multi-level Modeling of Hot Carrier Injection for Reliability.
61-68
Electronic Edition (link) BibTeX
- Yannick Hervé, Patricia Desgreys:
Functional Virtual Prototyping Design Flow and VHDL-AMS.
69-77
Electronic Edition (link) BibTeX
- D. Guihal, L. Andrieux:
VHDL-AMS Model Generation from Other HDL Language.
77-83
Electronic Edition (link) BibTeX
AMS-5:
Modelling Tools
CSD-1:
C-based Design of Mixed Signal Systems
- Hessa Al-Junaid, Tom J. Kazmierski, Leran Wang:
SystemC-A Modeling of an Automotive Seating Vibration Isolation System.
107-113
Electronic Edition (link) BibTeX
- Karsten Einwich, Jens Bastian, Christoph Clauß, Uwe Eichler, Peter Schneider:
SystemC-AMS Extension Library for Modeling Conservative Nonlinear Dynamic Systems.
113-119
Electronic Edition (link) BibTeX
- Rüdiger Schroll, Wilhelm Heupke, Klaus Waldschmidt, Christoph Grimm:
A Framework for the Design of Heterogenous Systems.
119-121
Electronic Edition (link) BibTeX
- M. Alassir, Julien Denoulet, Olivier Romain, Patrick Garda:
Modelling and Simulation of an I2C Bus Controller in SystemC-AMS.
121-128
Electronic Edition (link) BibTeX
CSD-2:
Design representation and transformation
CSD-3:
Simulation
CSD-4:
Modelling of architectures
CSD-5:
Transaction level modelling
CSD-6:
Power and Performance analysis
- Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä:
Layered UML Workload and SystemC Platform Models.
223-229
Electronic Edition (link) BibTeX
- Massimo Conti, S. Marinelli, Giovanni B. Vece, S. Oricione:
SystemC Modeling of a Dynamic Power Management Architecture.
229-235
Electronic Edition (link) BibTeX
- Juan F. Sevillano, Andoni Irizar, Igone Vélez, K. Tomasena:
Efficient Monte Carlo Simulation Using SystemC.
235-237
Electronic Edition (link) BibTeX
- Klaus Strohmenger, Martin Bücker:
Token-based OSCI SystemC Simulator for Architecture Dimensioning.
237-239
Electronic Edition (link) BibTeX
FPD-1:
How do you monitor this property?
FPD-2:
Collaborative and industrial project results
- Sitvanit Ruah:
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions.
263-264
Electronic Edition (link) BibTeX
- Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid:
A Verification Tool Implementation using Introspection Mechanism.
265-272
Electronic Edition (link) BibTeX
- Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci:
A Case Study on Automated Generation of Integration Tests.
278-284
Electronic Edition (link) BibTeX
FPD-5:
What is your favourite specification paradigm?
Special Session:
The ICODES Project
- Cornelia Grabbe, Claus Brunzema, Kim Grüttner, Thorsten Schubert, Frank Oppenheimer:
Overview of the ICODES Project.
309-311
Electronic Edition (link) BibTeX
- Giovanna Ferrera, Anne-Marie Fouilliart, Joachim Gerlach:
Industrial Partners Expectations from the ICODES Methodology.
311-318
Electronic Edition (link) BibTeX
- Francesco Bruschi, Fabrizio Ferrandi:
A SystemC-based Framework of Communication Architecture.
319-327
Electronic Edition (link) BibTeX
- Kim Grüttner, Cornelia Grabbe, Thorsten Schubert, Claus Brunzema, Frank Oppenheimer:
OSSS-Channels: Modelling and Synthesis of Communication.
327-335
Electronic Edition (link) BibTeX
UML Keynote
UML-1:
Design flows for SoC
- D. Moisuc, S. Revol, Colin F. Snook:
UML User Interface to a Proof-based Hardware Design Flow.
337-344
Electronic Edition (link) BibTeX
- Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems.
345-351
Electronic Edition (link) BibTeX
- Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson:
A Method for Terminal Platform Architecture Development.
351-359
Electronic Edition (link) BibTeX
- Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet:
UML2 Profile for Modeling Controlled Data Parallel Applications.
359-367
Electronic Edition (link) BibTeX
UML-2:
Models for design space exploration
UML-3:
Studies for UML based workflows
Copyright © Sat May 16 23:11:59 2009
by Michael Ley (ley@uni-trier.de)
