6. FDL 2003:
Frankfurt,
Germany
Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings.
ECSI 2003 BibTeX
AMS-1:
IP and Reuse
AMS-2:
System Level Desing
AMS-3:
Modelling Technigues
AMS-4:
Sigma/Delta Converters
- R. Castro-López, José Manuel de la Rosa, R. Romay, Rocio del Río, Fernando Manuel Medeiro Hidalgo, F. Fernandez:
Description Languages and Tools for the Behavioural Simulation of SD Modulators: a Comparative Survey.
121-133
Electronic Edition (link) BibTeX
- Alex Doboli, Hua Tang, Hui Zhang:
Towards High-Level Synthesis of Analog and Mixed-Signal Systems from VHDL-AMS Specifications.
133-141
Electronic Edition (link) BibTeX
- Ahmed Fakhfakh, Mourad Loulou, N. Ksentini, Nouri Masmoudi, Jean-Jacques Charlot:
VHDL-AMS Behavioural Modelling of a Switched Current Sigma-Delta Modulator.
141-150
Electronic Edition (link) BibTeX
AMS-5:
Desing Methodologies
AMS-6:
Praktical Applications
- Jean Oudinot, G. Overton, Aitor Endemaño Isasi, Marc P. Y. Desmulliez, Jean-Yves Fourniols, Sylvaine Muratet:
Micromotor Simulation with VHDL-AMS.
185-197
Electronic Edition (link) BibTeX
- Martin Stark, Jan-Hendrik Oetjens, Wolfgang Rosenstiel:
A Seamless Simulink Based System Desing Flow for Automotive Applications.
197-204
Electronic Edition (link) BibTeX
- A. F. Noullet, F. Healey, O. Tico, R. Santonja, J.-C. Mboli, T. Nouguier:
VerilogAMS language used in the Top-Down Methodology for wireless integrated circuit designs.
204-213
Electronic Edition (link) BibTeX
UML-1:
UML for HW/SW Codesign
UML-2:
Transformations and Code Generation
UML-3:
Model Driven Architekture
UML-4:
Real Time and System Level Modelling
LFM-1:
Property Specification and Analysis
LFM-2:
Formal Specification in Application
- Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel:
Formal Specification of a 40GBit/s Sonet/SDH ASIC.
426-435
Electronic Edition (link) BibTeX
- Dominique Cansell, Dominique Méry, C. Proch:
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement .
435-447
Electronic Edition (link) BibTeX
- M. Fischer, André Windisch, Stefan Förster, B. Balser, Dieter Monjau:
A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.
447-456
Electronic Edition (link) BibTeX
- A. Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah:
TCTL-Based Verification of Industrial Processes.
456-468
Electronic Edition (link) BibTeX
LFM-3:
System Desing under Formal Aspects
LFM-4:
Formal Refinement
CSD-1:
System Specification
- Lluís Ribas, Joaquín Saiz:
On Hardware Description in ECL.
548-557
Electronic Edition (link) BibTeX
- Chris Sullivan, Jeff Jussel:
Software-Compiled System Desing: a methodology based approach to the specification & desing of Programmable SoC.
557-565
Electronic Edition (link) BibTeX
- Fernando Herrera, Pablo Sánchez, Eugenio Villar:
Modeling of CSP, KPN and SR Systems with SystemC.
572-583
Electronic Edition (link) BibTeX
- Jean Paul Calvez, Rocco Le Moigne, Olivier Pasquier:
A Graphical Tool for System-Level Modeling and Simulation with SystemC.
583-593
Electronic Edition (link) BibTeX
- C. Jaeschke, B. Hoppe, W. Sauer:
A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models.
593-605
Electronic Edition (link) BibTeX
- I. Jeukens, M. Strum:
Exploring Models of Computation through Static Analysis.
605-616
Electronic Edition (link) BibTeX
CSD-2:
Languages in Media + Projects
CSD-3:
High Level Verification and Test Generation
CSD-4:
Desing for Verification
No papers
CSD-5:
System Desing
- Fabio Salice, William Fornaciari, Luigi Pomante, Donatella Sciuto:
An Internal Representation Model for System-Level Co-Design of Heterogeneous Multiprocessor Embedded System.
669-680 BibTeX
- Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft:
Object-Oriented ASIP Design and Synthesis.
680-692
Electronic Edition (link) BibTeX
- Massimo Conti, Marco Caldari, Simone Orcioni:
Dynamic Power Management of an AMBA-based Platform in SystemC.
692-704
Electronic Edition (link) BibTeX
- Jérôme Chevalier, Mathieu Rondonneau, Olivier Benny, Guy Bois, El Mostapha Aboulhamid, François R. Boyer:
SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS.
704-716
Electronic Edition (link) BibTeX
- Ole Blaurock:
C-model integration and software development using system-level simulation at TLM in a SystemC-based desing flow.
716-719
Electronic Edition (link) BibTeX
- Marco Caldari, Massimo Conti, Paolo Crippa, Simone Orcioni, Claudio Turchetti:
Design and Power Analysis in SysteC of an I2C Bus Driver.
719-727
Electronic Edition (link) BibTeX
- Péter Arató, Bence Csák:
Hardware Definition Based on Standard C-language Source Code.
727-736
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:11:59 2009
by Michael Ley (ley@uni-trier.de)
