| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thao Dang 0001, Tarik Nahhal |
Randomized Simulation of Hybrid Systems For Circuit Validation.  |
FDL  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Martin Radetzki |
SystemC TLM Transaction Modelling and Dispatch for Active Object. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Martin Schickel, Volker Nimbler, Martin Braun 0001, Hans Eveking |
On Consistency and Completeness of Property-Sets. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti |
A Model-driven Co-design Flow for Embedded Systems. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thilo Brause, Kaiping Zeng, Sorin A. Huss |
Supporting AMS-System Design. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Mueller |
UML - The Emerging Hardware Description Language? |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet |
UML2 Profile for Modeling Controlled Data Parallel Applications. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
A Case Study on Automated Generation of Integration Tests. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rédha Hamouche, Rémy Kocik |
Metamodel-based Methodology for Real-Time Embedded Design. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kim Grüttner, Cornelia Grabbe, Thorsten Schubert, Claus Brunzema, Frank Oppenheimer |
OSSS-Channels: Modelling and Synthesis of Communication. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä |
Layered UML Workload and SystemC Platform Models. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Massimo Conti, S. Marinelli, Giovanni B. Vece, S. Oricione |
SystemC Modeling of a Dynamic Power Management Architecture. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andreas Thuy, Leandro Soares Indrusiak, Manfred Glesner |
Applying Communication Patterns to Actor-Oriented Models. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Klaus Kronlöf, Samu Kontinen, Ian Oliver, Timo Eriksson |
A Method for Terminal Platform Architecture Development. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Klaus Strohmenger, Martin Bücker 0001 |
Token-based OSCI SystemC Simulator for Architecture Dimensioning. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | |
Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Huet, Emmanuel Casseau, Olivier Pasquier, Sébastien Le Nours |
Hardware Communication Refinement in Digital Signal Processing. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rüdiger Schroll, Wilhelm Heupke, Klaus Waldschmidt, Christoph Grimm 0001 |
A Framework for the Design of Heterogenous Systems. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Francesco Bruschi, Fabrizio Ferrandi |
A SystemC-based Framework of Communication Architecture. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | D. Guihal, L. Andrieux |
VHDL-AMS Model Generation from Other HDL Language. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fernando Herrera, Eugenio Villar |
Extension of the SystemC Kernel for Simulation Coverage. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock |
Verification-Oriented Behavioral Modeling of Non-Linear Analog. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lingfei Zhou, Yves-André Chapuis, Yannick Hervé |
VHDL-AMS Modeling and Simulation. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sitvanit Ruah |
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mauro Prevostini, Sivakumar Ganesan |
Bridging the Gap Between SysML and Design Space Exploration. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ewout Martens, Georges G. E. Gielen |
Generic Behavioral Modeling of Analog and Mixed-Signal Systems. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Kumar 0004, Rahul Chaudhry, Dipankar Das 0002, Vibha Rathi, Subrat Kumar Panda, P. P. Chakrabarti 0001 |
SystemC Modeling and Validation of A RISC Processor System. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wilhelm Heupke |
Semi-Symbolic Analysis of Accuracy at System Level. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Karsten Einwich |
Application of SystemC/SystemC-AMS for the Specification of Complex Wired Telecomunication Systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ralf Kakerow |
Modelling Technologies for Disruptive Communication System Design. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | André C. Nácul, Marcello Lajolo, T. Givarjis |
Interface-Centric Abstraction Level for Rapid HW/SW Integration. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Xianqiang Ren, Tom J. Kazmierski |
Linearly graded behavioural analogue performance models. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Richard Hoffer, Frank Baszynski |
Implementation of a SystemC based Environment. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | |
Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lossan Bonde, Pierre Boulet, Jean-Luc Dekeyser |
Traceability and Interoperability in Models Transformations. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Dragos Truscan |
Using feature models to automate model transformations. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luis Avila, Rolando Dölling, Thomas Ifström, Peter Jores, Wolfgang Rosenstiel |
Toward seamless top-down of A/MS systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lobna Kriaa, S. Adriano, Emmanuel Vaumorin, R. Nouacer, F. Blanc, S. Pajaniardja, Philippe Coussy, Eric Martin 0001, Dominique Heller, Farhat Thabet, Anne-Marie Fouilliart |
SystemCmantic: A high level Modelling and Co-Design Framework. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Samy Meftali, Anouar Dziri, Luc Charest, Philippe Marquet, J. Deskeyser |
SOAP Based Distributed Simulation Environment for SoC Design. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
Modelling Environment for Heterogeneous Systems based on MoCs. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lothar Thiele |
Analitic Performance Analysis of Distributed Embedded Systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paul Muller, Yusuf Leblebici |
Jitter Tolerance Analysis of Clock and Data Recovery Circuits. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Bollaert |
Leveraging the efficiency of C-Based Design with Catapult-C . |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Bruschi, Federico Moro, Donatella Sciuto |
Mapping Interface Method Calls over OCP Buses. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tim Kogel, Anssi Haverinen |
OCP TLM for Architectural Modelling. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hiren D. Patel, Sandeep K. Shukla |
Towards Behavioural Hierarchy Extensions for SystemC. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yu Liu, Satoshi Komatsu, Masahiro Fujita |
AMS Extensions for Timed/Untimed System-Level Design Language. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Erik Markert, Göran Herrmann, Dietmar Müller 0001 |
System model of an inertial navigation system using SystemC-AMS. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Robert Pasko, Luc Rynders |
Building heterogeneous plaftorm simulators in C++. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fernando Herrera, Eugenio Villar |
Mixing Synchronous Reactive and Untimed Models of Computation. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rainer Zimmermann |
ENIAC & ARTEMIS Technology Platforms. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | G. Gassara, Ahmed Fakhfakh, M. Abdellaoui, Nouri Masmoudi, Yannick Hervé |
Top-down hierarchical design flow application. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Torsten Mähne |
Creating Virtual Prototypes of Complex Micro-Electro-Mechanical Transducers using Reduced-Order Modelling Methods and VHDL-AMS. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Efficient and Customizable Integration of Temporal Properties. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
Modelling Heterogeneous Embedded Systems in DFCarts. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wilhelm Heupke, Christoph Grimm 0001, Klaus Waldschmidt |
Semi-Symbollic Simulation of Nonlinear Systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Navarro, D. Ramat, Fabien Mieyeville, Ian O'Connor, Frédéric Gaffiot, Laurent Carrel |
VHDL & VHDL-AMS Modelling and Simulation of a CMOS Imager IP. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Giovanni B. Vece, Massimo Conti, Simone Orcioni |
Devices modelling in SystemC based on behaviour separation. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer |
Automatic Generation of a Verification Platform. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ewald Hessel, Klaus Panreck, Joachim Haase, André Schneider, Steffen Scholz |
Development of VHDL-AMS Libraries for Automative Applications. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Patrick Birrer, Walter Hartong |
Incorporating SystemC in Analog/Mixed-Signal Design Flow. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Agosta, Francesco Bruschi, Donatella Sciuto |
Aspect Orientation in System Level Design. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian O'Connor, Faress Tissafi-Drissi, G. Revy, Frédéric Gaffiot |
UML/XML based approach to hierarchical AMS Synthesis. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | L. Negri, A. Chiarini |
Power Modelling and Simulation Flow for Communication Protocols. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marília Lima, Francielle Santos, João Bione, Tiago Lins, Edna Barros |
IpPROCESS: a Development Process for Soft IP-Cord. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Antoni Portero, Lluís Ribas, Jordi Carrabina |
Hardware Synthesis of Parallel Machines from SystemC. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Oana Florescu, Jeroen Voeten, Henk Corporaal |
Synthesis for Unified Control- and Data-Oriented Models. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | M. Burford, Tom J. Kazmierski |
A VHDL-AMS based Time-Domain Skin Depth Model. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Dieter Monjau, Mathias Sporer |
Meta Modelling of Embedded Systems using Active Databases. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roberto Ziller |
An Application of Generalized Supervisor Synthesis to the Control of a Call Center. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | A. Clouard |
Overcoming issues to reach full adoption and benefit of C/C++based system design methodologies in real System-on-Chip projects. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel, Axel Siebenborn, Oliver Bringmann 0001 |
SystemC-Based Communication and Performance Analysis. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Zhonghai Lu, Ingo Sander, Axel Jantsch |
Refinement of Perfectly Synchronous Communication Model. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Simone Orcioni, Giorgio Biagetti, Massimo Conti |
SystemC-WMS: A Wave Mixed Signal Simulator. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Salima Feki, Ahmed Fakhfakh, Yannick Hervé, Abdelmajid Oualha, Nouri Masmoudi |
VHDL-AMS virtual prototyping in power electronics. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Green, Kinika Tasie-Amadi |
Integrating Model-Checking with UML-based SoC Development. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrés Takach, Bryan Bowyer, Thomas Bollaert |
C-Based Hardware Design for Wireless Applications . |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yves Vanderperren, Wim Dehaene |
The SysML profile for embedded system modelling. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Antonio-Torres, Paul F. Newbury, Paul F. Lister |
Executable Specification of Novel Display Controllers. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mostafa Naderi, Zainalabedin Navabi |
Combination of Assertion and HSAT Methods For Automated Test Vectors Generation. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
An HW/SW Co-design Environment based on UML and SystemC. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ernst Christen |
Tolerance Models in Hardware Description Languages. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Regazzoni 0001, André C. Nácul, Marcello Lajolo |
Automatic synthesis of the Hardware/Software Interface. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Corrado Marino, Luca Fanucci, Francesco Iozzi, Massimiliano Forliti, Alessandro Rocchi, A. Giambastiani, Marco De Marinis |
VHDL-AMS Modelling and System Verification Flow. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | J. Vennin, S. Penain, Luc Charest, Samy Meftali, Jean-Luc Dekeyser |
Embed Scripting inside SystemC. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hedia B. Ben, Fabrice Jumel, Jean-Philippe Babau |
Formal Evaluation of Quality of Service for Data Acquisition. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | D. Borionne, M. Liu, P. Ostier, Laurent Fesquet |
PSL-based online monitoring of digital systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | C. Berhouzoz, Francois Corthay, Thomas Sterren, R. Stainer, M. Reider |
Compiled and Synthesized UML, a practical Approach for Codesign. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Servat, Frédéric Loiret, Sébastien Gérard, François Terrier |
Architecture description in related standards. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | David Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla |
SystemCXML: An Exstensible SystemC Front end Using XML. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cristiano C. de Araújo, Edna Barros, Rodolfo Azevedo, Guido Araujo |
Processor Centric Specification and Modelling of MPSoCs. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pascal Pampagnin |
Trends and Challenges in Avionics Electronics. |
FDL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Patricia Desgreys, Yannick Hervé, Jean Oudinot, S. Snaidero, Mohamed Karray |
SoC modelling for virtual prototyping with VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | |
Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Elena Martín, Laura Barrachina, Carles Ferrer 0001 |
Practical Case Example of Inertial MEMS Modeling with VHDL-AMS. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paul F. Lister, Vincenzo Trignano, Milke C. Bassett |
UML-Executable Functional Models of electronic systems in the VIPERS Virtual Prototyping Methodology. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Amjad Gawanmeh, Ali Habibi, Sofiène Tahar |
Enabling SystemC Verification using Abstract State Machines. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dragos Truscan |
A Model-driven Approach to Configuration of TTA-based Protocol Processing Platforms. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohammed Ramdani, Jean-Luc Levant |
Early Prediction of Conducted-Mode Emission of complex IC's. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Jensen, Wolfgang Ecker, Thomas Kruse, Martin Zambaldi |
SystemVerilog: Interface Based Design. |
FDL |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license