| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ian Oliver |
Mapping UML Descriptions to the Raven Input Language.  |
FDL  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Daniel Karlsson, Petru Eles, Zebo Peng |
A Formal Verification Approach for IP-based Designs. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefan Hallerstede, Yann Zimmermann |
Circuit Design by Refinement in EventB1. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal |
Error Estimation in Model-Driven Development for Real-Time Software. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | C. T. Carr, T. Martin McGinnity, L. J. McDaid |
VHDL-AMS code gneration from UML structural representations. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joachim K. Anlauf, Philipp A. Hartmann |
On Actors and Objects - OOP in System Level Design. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rocco Le Moigne, Olivier Pasquier, Jean Paul Calvez |
An Abstract Communication Bus Model for Performance Estimation in SoCs with SystemC (short paper). |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte |
A hardware/software codesign framework for developing complex embedded systems using formal model refinement. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jean-Pierre David, Etienne Bergeron |
An Intermediate Level HDL for System Level Design. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | E. Turbatu, Samy Meftali, Smaïl Niar, Jean-Luc Dekeyser |
An automatic communication synthesis for high level SOC desing using transaction level modelling (poster). |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luigi Pomante |
Experimenting Object-Oriented System-Level Design in the ATM domain. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | E.-P. Wagner, Joachim Haase |
Monte Carlo Simulation Using VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mathieu Maranzana, Jean-Francois Ponsignon, Jean-Louis Sourrouille, F. Bernier |
Timing Performances of Automatically Generated Code Using MDA Approaches. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sari Leppänen, Markku Turunen, Ian Oliver |
Application Driven Methodology for Development of Communicating Systems. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | M. Garon, Jean-Francois Diouris, Serge Toutain, Emmanuel Cottais, Yide Wang |
Behavioural modelling of a power amplifier in VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sherif G. Aly 0001, Ashraf M. Salem |
Transaction Level Modeling in Java. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte |
SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefan Förster, André Windisch, Marco Fischer, Dieter Monjau, Wolfram Hardt |
A Methodology for Embedded System Design supporting Layered Platforms. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yannick Hervé, Ahmed Fakhfakh |
Requirements and Verifications through an extension of VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel |
Predictability in Real-time System Development (1) Semantics Support from Development Languages . |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Zambaldi, Wolfgang Ecker |
Extending the RASSP model for Verification. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andrés Takach, Simon Waters, Peter Gutberlet |
Fast Bit-Accurate C++ Datatypes For Functional System Verification and Synthesis. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Foudil Dadouche, Annick Alexandre, Bertrand Granado, Andréa Pinna 0001, Patrick Garda |
A VHDL-AMS Configuration for Active Pixel Sensors. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter R. Wilson, Tom J. Kazmierski |
A novel approach to mixed-domain behavioral modeling of ferromagnetic hysteresis in VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Arnaud Cuccuru, Pierre Boulet, Jean-Luc Dekeyser |
Regular Hardware Architecture Modeling with UML2. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kari Tiensyrjä, Miroslav Cupák, Kostas Masselos, Marko Pettissalo |
SystemC and OCAPI-xl Based System-Level Design for Reconfigurable Systems-on-Chip. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fernando Herrera, Pablo Sánchez, Eugenio Villar |
Heterogeneous System-Level Specification in SystemC. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Müller 0003 |
The Formal Simulation Semantics of SystemVerilog. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
Temporal validation of Real Time multitasking applications based on communicating timed automata. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | J.-C. Hammon, Daniel Esteve, Pascal Pampagnin |
High Level System desing using HiLes Designer. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | J. Shields, Ernst Christen |
Mixed Nets, Conversion Models, and VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla |
A Functional Programming Framework of Heterogeneous Model of Computation for System Design. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | I-Lun Tseng, Adam Postula |
GBLD: A Formal Model for Layout Description and Generation. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christoph Grimm 0001, Wilhelm Heupke, Klaus Waldschmidt |
Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems . |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dorian Petit, Vincent Poirriez, Georges Mariano |
Reuse of SML module system for the B language. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Laurent Lemaitre |
Evalution/Testing of Compact Device Model Implementation. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch |
Derivation of SystemC code from abstract system models. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Drouard, Matthieu Briere, Fabien Mieyeville, Ian O'Connor, Xavier Letartre |
Optical Network On-chip Multi-Domain modeling using SystemC. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | M. Samyn, Samy Meftali, Jean-Luc Dekeyser |
MDA Based, SystemC Code Generation, Applied to Intensive Signal Processing Applications. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mauro Prevostini, Giuseppe Piscopo, I. Stefanini |
UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rachid Guelaz, Djilali Kourtiche, Yannick Hervé, Mustapha Nadi |
Modeling of the ultrasonic nonlinear propagation with VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marcos M. A. Sanchez, Fernandez Herrero, Marisa López-Vallejo |
Improving IP core reuse through the application of the meta-language xHDL. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lossan Bonde, Cédric Dumoulin, Jean-Luc Dekeyser |
Metamodels and MDA Transformations for Embedded Systems. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Neffe, Christian Steger, Reinhold Weiss, Andreas Mühlberger, Edgar Rieger, Klaus Rothbart |
SystemC Based Design Space Exploration for Power Aware Smart Cards. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martti Forsell |
Designing NOCs with a parallel extension of c. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mario Polaschegg, Christian Steger, Damian Dalton, Abhay Vadher |
A Generic Simulation Framework for Multiprocessor Architectures. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel |
Predictability in Real-time System Development (2) A Case Study . |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rüdiger Schroll, Christoph Grimm 0001, Klaus Waldschmidt |
HEAVEN: A Framework for the Refinement of Heterogeneous Systems. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hui Zhang 0057, Alex Doboli |
SystemC Simulation of Continuous-Time $Sigma-Delta$ Analog-Digital Converters in the Presence of Non-linearities. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | S. Loued, Ahmed Fakhfakh, Mourad Loulou, Nouri Masmoudi, Yannick Hervé |
High Level Self-adjusted Models and VHDL-AMS; Application for a freguency synthesizer modelling. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fotios Gioulekas, Michael K. Birbas, Nikos S. Voros, George Kouklaras, Alexios N. Birbas |
A Heterogeneous Co-simulation Environment for Complex Embedded Telecommunication Systems. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nico Bannow, Karsten Haug, Wolfgang Rosenstiel |
Performance Analysis and Automated C++ Modularization Using Module-Adapters for SystemC. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | P. Hastono, Stephan Klaus, Sorin A. Huss |
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mauro Prevostini, M. Lajolo, A. S. Basu |
UML Specifications Towards a Codesign Environment. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marie-Minerve Louërat, Tuong P. Nguyen, Vincent Bourguet, Laurent de Lamarre, Alain Greiner |
A language to desing generators of analog functions (poster). |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ian Oliver |
Model Based Testing and Refinement in MDA Based Developent. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Schallenberg, Frank Oppenheimer, Wolfgang Nebel |
Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Daniel Große, Rolf Drechsler, Lothar Linhard, Gerhard Angst |
Efficient Automatic Visualization of SystemC Designs. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel |
Using Symbolic Simulation for Bounded Property Checking. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | J. Fogel |
Compositional Proof Rules for Hierarchical Timed Automata. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean Paul Calvez, Rocco Le Moigne, Olivier Pasquier |
A Graphical Tool for System-Level Modeling and Simulation with SystemC. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ivan Kurtev, Klaas van den Berg, Mehmet Aksit |
UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fabio Salice, William Fornaciari, Luigi Pomante, Donatella Sciuto |
An Internal Representation Model for System-Level Co-Design of Heterogeneous Multiprocessor Embedded System. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexander Krupp, Wolfgang Müller 0003 |
Combining Formal Refinement and Model Checking for Real-Time Systems Verification. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Claudia Spircu, Thomas Gentnet, Heiko Beyer |
A UML Approach for Modeling the Components of a Test System for Integrated Circuits. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lluís Ribas, Joaquín Saiz |
On Hardware Description in ECL. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrei Karatkevich |
Deadlock Analysis in Statecharts. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Colin F. Snook, Kim Sandström |
Using UML-B and U2B for formal refinement of digital components1. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pierre Boulet, Jean-Luc Dekeyser, Cédric Dumoulin, Philippe Marquet |
MDA for SoC Design, Intensive Signal Processing Experiment. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
A Unified Approach to Code Generation from Behavioral Diagrams. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Antonio Minosi, Srinivas Mankan, Aris Martinola, Francesco Balzarini, Atanas N. Kostadinov, Mauro Prevostini |
UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Massimo Conti, Marco Caldari, Simone Orcioni, Giorgio Biagetti |
Analog Circuit Modeling in SystemC. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | François Marc, B. Mongellaz, Yves Danto |
Reliability simulation of electronic circuits with VHDL-AMS. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
Object-Oriented ASIP Design and Synthesis. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean Oudinot, G. Overton, Aitor Endemaño Isasi, Marc P. Y. Desmulliez, Jean-Yves Fourniols, Sylvaine Muratet |
Micromotor Simulation with VHDL-AMS. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Fin, Franco Fummi |
LAERTE++: an Object Oriented High-level TPG for SystemC Designs. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fernando Herrera, Pablo Sánchez, Eugenio Villar |
Modeling of CSP, KPN and SR Systems with SystemC. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ian Oliver, Michele Marchetti |
Towards a Conceptual Framework for UML to Hardware Description Language Mappings. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jan Romberg, Christoph Grimm 0001 |
Refinement of Hybrid Systems from Formal Models to Design Languages. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mark Verhappen, Jeroen Voeten, P. H. A. van der Putten |
Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alex Doboli, Hua Tang, Hui Zhang 0057 |
Towards High-Level Synthesis of Analog and Mixed-Signal Systems from VHDL-AMS Specifications. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dominique Borrione, Menouer Boubekeur |
Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |
TCTL-Based Verification of Industrial Processes. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rafael Castro-López, José M. de la Rosa 0001, R. Romay, Rocío del Río, Fernando Medeiro, Francisco V. Fernández 0001 |
Description Languages and Tools for the Behavioural Simulation of SD Modulators: a Comparative Survey. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Chris Sullivan, Jeff Jussel |
Software-Compiled System Desing: a methodology based approach to the specification & desing of Programmable SoC. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | C. Isaia, Tom J. Kazmierski |
SystemC - a powerful system-level modelling platform for digital and mixed-signal hardware/software co-design. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | U. Badelt, H. Kühl, Martin Radetzki |
sciPROVE: C++ Based Verification Environment for IP and SoC Design1. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ole Blaurock |
C-model integration and software development using system-level simulation at TLM in a SystemC-based desing flow. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fabien Mieyeville, Matthieu Briere, Ian O'Connor, Frédéric Gaffiot, Gilles Jacquemod |
A VHDL-AMS library of hierarchical optoelectronic device models. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Axel G. Braun, Thorsten Schubert, Martin Stark, Karsten Haug, Joachim Gerlach, Wolfgang Rosenstiel |
Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dominique Cansell, Dominique Méry, Cyril Proch |
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Faress Tissafi-Drissi, Ian O'Connor, Fabien Mieyeville, Frédéric Gaffiot |
Hierarchical synthesis of high-speed CMOS photoreceiver front-ends using a multi-domain behavioural description language. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | |
Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Joachim Haase |
Rules for Analog and Mixed-Signal VHDL-AMS Modeling. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Monnerie, Noëlle Lewis, Dominique Dallet, Hervé Levi, M. Robbe |
Modelling of transient noise sources with VHDL-AMS and normative spectral interpretation. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer |
A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Cédric Dumoulin, Jean-Luc Dekeyser, Boris Kokoszko, S. Pulon, G. Cristau |
Interoperability between Design and Simulation Tools using Model Transformation Techniques. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Fakhfakh, Mourad Loulou, Nesrine Ksentini, Nouri Masmoudi, Jean-Jacques Charlot |
VHDL-AMS Behavioural Modelling of a Switched Current Sigma-Delta Modulator. |
FDL |
2003 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license