default search action
9th 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
AMS-1: Formal and symbolic techniques for AMS Design
- Wilhelm Heupke:
Semi-Symbolic Analysis of Accuracy at System Level. 3-9 - Thao Dang, Tarik Nahhal:
Randomized Simulation of Hybrid Systems For Circuit Validation. 9-15 - Ewout Martens, Georges G. E. Gielen:
Generic Behavioral Modeling of Analog and Mixed-Signal Systems. 15-23
AMS-2: C-based Design of Mixed Signal Systems
AMS-3: Modelling Approaches
- Fabien Prégaldiny, Christophe Lallement, B. Diagne, Jean-Michel Sallese, François Krummenacher:
Compact Modeling of Emerging Technologies with VHDL-AMS. 23-31 - Morgan Madec, Wilfried Uhring, Yannick Hervé:
VHDL-AMS Model of Ferroelectric Liquid Crystals. 31-40 - Lingfei Zhou, Yves-André Chapuis, Yannick Hervé:
VHDL-AMS Modeling and Simulation. 41-46 - Joachim Haase:
Baseband Modeling Using Multidimensional Networks in VHDL-AMS. 47-53
AMS-4: Verification and methodology
- Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock:
Verification-Oriented Behavioral Modeling of Non-Linear Analog. 53-60 - Corinne Bestory, François Marc, Hervé Levi, Yves Danto:
Multi-level Modeling of Hot Carrier Injection for Reliability. 61-68 - Yannick Hervé, Patricia Desgreys:
Functional Virtual Prototyping Design Flow and VHDL-AMS. 69-77 - D. Guihal, L. Andrieux:
VHDL-AMS Model Generation from Other HDL Language. 77-83
AMS-5: Modelling Tools
- Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke:
Using Sequential Equations to Improve Efficiency and Robustness. 83-90 - Torsten Mähne, Alain Vachoux:
ModelLib: A Web-Based Platform for Collecting Behavioural Models. 91-98 - Thilo Brause, Kaiping Zeng, Sorin A. Huss:
Supporting AMS-System Design. 99-104
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 - Karsten Einwich, Jens Bastian, Christoph Clauß, Uwe Eichler, Peter Schneider:
SystemC-AMS Extension Library for Modeling Conservative Nonlinear Dynamic Systems. 113-119 - Rüdiger Schroll, Wilhelm Heupke, Klaus Waldschmidt, Christoph Grimm:
A Framework for the Design of Heterogenous Systems. 119-121 - Mohamad Alassir, Julien Denoulet, Olivier Romain, Patrick Garda:
Modelling and Simulation of an I2C Bus Controller in SystemC-AMS. 121-128
CSD-2: Design representation and transformation
- Joachim Falk, Christian Haubelt, Jürgen Teich:
Efficient Representation and Simulation of Model-Based Designs. 129-135 - Thorsten Schubert, Wolfgang Nebel:
The Quiny SystemC Front End: Self-Synthesising Designs. 135-143 - Deepak Mathaikutty, Sandeep K. Shukla:
Mining Metadata for Composability of IPs from SystemC IP Library. 143-151 - Manfred Mücke, Guido Hafeli:
A Bitwidth-aware HDL Extension. 151-153 - Giovanni Agosta, Marco D. Santambrogio, Seda Ogrenci Memik:
Adaptive Metrics for System-Level Functional Partitioning. 153-155
CSD-3: Simulation
- Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt:
Non-Intrusive High-level SystemC Debugging. 155-161 - Fernando Herrera, Eugenio Villar:
Extension of the SystemC Kernel for Simulation Coverage. 161-168 - Wolfgang Klingauf, Manuel Geffken:
Design Structure Analysis and Transaction Recording in SystemC. 169-177
CSD-4: Modelling of architectures
- Sylvain Huet, Emmanuel Casseau, Olivier Pasquier, Sébastien Le Nours:
Hardware Communication Refinement in Digital Signal Processing. 177-185 - Subhek Garg, Marcello Lajolo:
C-based Design of a Flexible Wrapper for Tiled Networks On Chip. 185-189 - Rajeev Kumar, Rahul Chaudhry, Dipankar Das, Vibha Rathi, Subrat Kumar Panda, P. P. Chakrabarti:
SystemC Modeling and Validation of A RISC Processor System. 189-197
CSD-5: Transaction level modelling
- Vesa Lahtinen, Jouni Siirtola, Tommi Mäkeläinen:
Transaction Level Modeling in Communication Engine Design. 197-203 - Martin Radetzki:
SystemC TLM Transaction Modelling and Dispatch for Active Object. 203-209 - Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten:
Case Study on Transaction Level Modeling. 209-215 - Markus Winterholer:
Design Structure Analysis and Transaction-based Co-Verification. 215-222
CSD-6: Power and Performance analysis
- Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä:
Layered UML Workload and SystemC Platform Models. 223-229 - Massimo Conti, S. Marinelli, Giovanni B. Vece, S. Oricione:
SystemC Modeling of a Dynamic Power Management Architecture. 229-235 - Juan F. Sevillano, Andoni Irizar, Igone Vélez, K. Tomasena:
Efficient Monte Carlo Simulation Using SystemC. 235-237 - Klaus Strohmenger, Martin Bücker:
Token-based OSCI SystemC Simulator for Architecture Dimensioning. 237-239
FPD-1: How do you monitor this property?
- Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking:
On Consistency and Completeness of Property-Sets. 241-248 - Katell Morin-Allory, Dominique Borrione:
On-line Monitoring of Properties Built on Regular Expressions. 249-255
FPD-2: Collaborative and industrial project results
- Sitvanit Ruah:
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. 263-264 - Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid:
A Verification Tool Implementation using Introspection Mechanism. 265-272 - 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
FPD-5: What is your favourite specification paradigm?
- Bernhard Niemann, Christian Haubelt:
Formalizing TLM with Communicating State Machines. 285-293 - Jens Brandt, Klaus Schneider:
System Description Aspects as Syntactic Sugar. 293-301 - Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit:
IP Library For Temporal SystemC Assertions. 301-309
Special Session: The ICODES Project
- Cornelia Grabbe, Claus Brunzema, Kim Grüttner, Thorsten Schubert, Frank Oppenheimer:
Overview of the ICODES Project. 309-311 - Giovanna Ferrera, Anne-Marie Fouilliart, Joachim Gerlach:
Industrial Partners Expectations from the ICODES Methodology. 311-318 - Francesco Bruschi, Fabrizio Ferrandi:
A SystemC-based Framework of Communication Architecture. 319-327 - Kim Grüttner, Cornelia Grabbe, Thorsten Schubert, Claus Brunzema, Frank Oppenheimer:
OSSS-Channels: Modelling and Synthesis of Communication. 327-335
UML Keynote
- Wolfgang Mueller:
UML - The Emerging Hardware Description Language? 335-335
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 - Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems. 345-351 - Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson:
A Method for Terminal Platform Architecture Development. 351-359 - Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet:
UML2 Profile for Modeling Controlled Data Parallel Applications. 359-367
UML-2: Models for design space exploration
- Deepak Mathaikutty, Sandeep K. Shukla:
MCF: A Metamodeling-based Visual Component Composition Framework. 367-375 - Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal:
Reusing Real-Time Systems Design Experience. 375-381 - Julio Medlina, Patricia López Martínez, José María Drake:
Towards a UML Profile for Real-Time Modelling. 381-389
UML-3: Studies for UML based workflows
- Mauro Prevostini, Sivakumar Ganesan:
Bridging the Gap Between SysML and Design Space Exploration. 389-395 - Rédha Hamouche, Rémy Kocik:
Metamodel-based Methodology for Real-Time Embedded Design. 395-403 - Thomas Mahr, Patrick Schillinger, Andreas Fürchthauer, Daniel Kirchner:
UML-based Automatic Code Generation for Hybrid CPU-FPGA. 403-406 - Andreas Thuy, Leandro Soares Indrusiak, Manfred Glesner:
Applying Communication Patterns to Actor-Oriented Models. 407-409
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: