Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
43 | Alain Vachoux, Christoph Grimm 0001, Karsten Einwich |
Towards Analog and Mixed-Signal SOC Design with SystemC-AMS. |
DELTA |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Luc Charest, El Mostapha Aboulhamid, Guy Bois |
Using Design Patterns for Type Unification and Introspection in SystemC. |
IWSOC |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Francesco Bruschi, Fabrizio Ferrandi |
Synthesis of Complex Control Structures from Behavioral SystemC Models. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Grant Martin |
SystemC and the Future of Design Languages: Opportunities for Users and Research. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Daniel Große, Görschwin Fey, Rolf Drechsler |
Modeling Multi-Valued Circuits in SystemC. |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Luca Benini, Davide Bertozzi, Davide Bruni, Nicola Drago, Franco Fummi, Massimo Poncino |
Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip. |
ICCD |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Feng Liu 0029, QingPing Tan, Xiaoyu Song, Naeem Abbasi |
AOP-based high-level power estimation in SystemC. |
ACM Great Lakes Symposium on VLSI |
2010 |
DBLP DOI BibTeX RDF |
systemc, power estimation, aspectc++ |
40 | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini |
SystemC/C-based model-driven design for embedded systems. |
ACM Trans. Embed. Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
UML, SoC, C, SystemC, MDE, ES |
40 | George Sobral Silveira, Alisson Vasconcelos de Brito, Elmar U. K. Melcher |
Functional verification of power gate design in SystemC RTL. |
SBCCI |
2009 |
DBLP DOI BibTeX RDF |
simulation, SystemC, RTL, functional verification, power gate |
40 | Christian Schröder, Wolfgang Klingauf, Robert Günzel, Mark Burton, Eric Roesler |
Configuration and control of SystemC models using TLM middleware. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
OSCI CCI, greenconfig, greencontrol, control, analysis, configuration, inspection, systemc |
40 | Andreas Raabe, Philipp A. Hartmann, Joachim K. Anlauf |
ReChannel: Describing and simulating reconfigurable hardware in systemC. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
hardware description, simulation, refinement, dynamic reconfiguration, SystemC, Reconfigurable hardware |
40 | Patrice Gerin, Hao Shen, A. Chureau, Aimen Bouchhima, Ahmed Amine Jerraya |
Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
transaction accurate level, hardware/software interface modeling, multiprocessor SoC design, automatic generation tools, system-on-chip, SystemC, abstraction level, architecture exploration |
40 | Tse-Chen Yeh, Tsung-Yu Ho, Hung-Yu Chen, Ing-Jer Huang |
SystemC-Based Design Space Exploration of a 3D Graphics Acceleration SoC for Consumer Electronics. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
SystemC modeling, 3D graphics SoC, design space exploration, transaction-level modeling |
40 | John Sanguinetti |
A Different View: Hardware Synthesis from SystemC is a Maturing Technology. |
IEEE Des. Test Comput. |
2006 |
DBLP DOI BibTeX RDF |
SystemC, hardware synthesis |
40 | Stephen A. Edwards |
Using program specialization to speed SystemC fixed-point simulation. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization |
40 | David Déharbe, Sérgio Medeiros 0001 |
Aspect-oriented design in systemC: implementation and applications. |
SBCCI |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, systemC, hardware description languages |
40 | Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nightingale, Steve Beavis, Nizar Romdhane, Christopher K. Lennard |
Maintaining consistency between systemC and RTL system designs. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
SPIRIT, transactor, verification, systemC, RTL, TLM, testbench, VIP |
40 | Karina R. G. da Silva, Elmar U. K. Melcher, Guido Araujo, Valdiney Alves Pimenta |
An automatic testbench generation tool for a SystemC functional verification methodology. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
Brazilip, SCV, VeriSC, tool, SystemC |
40 | Carlo Brandolese, William Fornaciari, Fabio Salice |
An area estimation methodology for FPGA based designs at systemc-level. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
area metrics, FPGAs, systemc |
37 | Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich, Michael Meredith |
SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
System design, hardware/software codesign |
37 | Paula Herber, Florian Friedemann, Sabine Glesner |
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Paolo Destro, Franco Fummi, Graziano Pravadelli |
A smooth refinement flow for co-designing HW and SW threads. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Francine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mäkeläinen, Jack Greenbaum, Rishiyur S. Nikhil |
TLM: Crossing Over From Buzz To Adoption. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Behzad Akbarpour, Sofiène Tahar |
Modeling System C Fixed-Point Arithmetic in HOL. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
37 | Alessandro Fin, Franco Fummi, Graziano Pravadelli |
Mixing ATPG and property checking for testing HW/SW interfaces. |
ACM Great Lakes Symposium on VLSI |
2003 |
DBLP DOI BibTeX RDF |
model cecking, ATPG, fault simulation |
35 | Dominique Cansell, Dominique Méry, Cyril Proch |
System-on-chip design by proof-based refinement. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof |
35 | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
A model-driven design environment for embedded systems. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
UML, MDA, SystemC, HW/SW co-design |
35 | Luigi Pomante |
Exploiting polymorphism in HW design: a case study in the ATM domain. |
CODES+ISSS |
2004 |
DBLP DOI BibTeX RDF |
design, ATM, synthesis, polymorphism, SystemC |
33 | Cedric Walravens, Yves Vanderperren, Wim Dehaene |
ActivaSC: a highly efficient and non-intrusive extension for activity-based analysis of SystemC models. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
system C, power modeling, activity monitoring |
33 | Pao-Ann Hsiung, Chao-Sheng Lin, Chih-Feng Liao |
Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures. |
ACM Trans. Reconfigurable Technol. Syst. |
2008 |
DBLP DOI BibTeX RDF |
scheduling, performance evaluation, partitioning, placement, design-space exploration, Reconfigurable systems |
33 | Stanislaw Deniziak, Robert Tomaszewski |
Rapid Prototyping of NoC Architectures from a SystemC Specification. |
DDECS |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Song Chai, Chang Wu, Yubai Li, Zhongming Yang |
A NoC Simulation and Verification Platform Based on SystemC. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Johan Ditmar, Steve McKeever |
Array Synthesis in SystemC Hardware Compilation. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
33 | André Sülflow, Rolf Drechsler |
Modeling a Fully Scalable Reed-Solomon Encoder/Decoder over GF(p^{m}) in SystemC. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Jérôme Chevalier, Maxime de Nanclas, Luc Filion, Olivier Benny, Mathieu Rondonneau, Guy Bois, El Mostapha Aboulhamid |
A SystemC Refinement Methodology for Embedded Software. |
IEEE Des. Test Comput. |
2006 |
DBLP DOI BibTeX RDF |
modeling hardware/software interfaces, integration, system architectures, Real-time and embedded systems |
33 | Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta 0001, R. K. Shyamasundar |
Compositional interaction specifications for SystemC. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Daniel Karlsson, Petru Eles, Zebo Peng |
Formal verification of systemc designs using a petri-net based representation. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Heikki Hurskainen, Jari Nurmi |
SystemC Model of an Interoperative GPS/Galileo Code Correlator Channel. |
SiPS |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Bastien Chopard, Philippe Combes, Julien Zory |
A Conservative Approach to SystemC Parallelization. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Martin Holzer 0002, Markus Rupp |
Static Code Analysis of Functional Descriptions in SystemC. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Nicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta 0001 |
Improving SystemC simulation through Petri net reductions. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger |
Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Wolfgang Klingauf |
Systematic Transaction Level Modeling of Embedded Systems with SystemC. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Ami Castonguay, Yvon Savaria |
A HyperTransport Chip-to-Chip Interconnect Tunnel Developed Using SystemC. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Tero Rissa, Adam Donlin, Wayne Luk |
Evaluation of SystemC Modelling of Reconfigurable Embedded Systems. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Franco Fummi, Stefano Martini, Giovanni Perbellini, Massimo Poncino |
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Salim Ouadjaout, Dominique Houzet |
Easy SoC Design with VCI SystemC Adapters. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
33 | C. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel |
Object-oriented modeling and synthesis of SystemC specifications. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Rohit Jindal, Kshitiz Jain |
Verification of Transaction-Level SystemC models using RTL Testbenches. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Alessandro Fin, Franco Fummi, Massimo Poncino, Graziano Pravadelli |
A SystemC-based Framework for Properties Incompleteness Evaluation. |
MTV |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Alain Vachoux, Christoph Grimm 0001, Karsten Einwich |
SystemC-AMS Requirements, Design Objectives and Rationale. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Fernando Herrera, Hector Posadas, Pablo Sánchez, Eugenio Villar |
Systemic Embedded Software Generation from SystemC. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Holger Vogt |
Factory capacity and throughput planning: discrete-event simulation using systemc: interactive semiconductor factory modeling with FabSim. |
WSC |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Joanne DeGroat, Arun Raman, Bakr Younis |
A Design Project for System Design with SystemC. |
MSE |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Mattias O'Nils, Jan Lundgren, Bengt Oelmann |
A SystemC extension for behavioral level quantification of noise coupling in mixed-signal systems. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Alain Vachoux, Christoph Grimm 0001, Karsten Einwich |
Analog and mixed signal modelling with SystemC-AMS. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Johnny Bjørnsen, Trond Ytterdal |
Behavioral modeling and simulation of high-speed analog-to-digital converters using SystemC. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Daniel Große, Rolf Drechsler |
Formal verification of LTL formulas for SystemC designs. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid |
Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Modelling, SystemC, Flocking |
31 | Jeff Hiner, Ashish Shenoy, Roman L. Lysecky, Susan Lysecky, Ann Gordon-Ross |
Transaction-Level Modeling for Sensor Networks Using SystemC. |
SUTC/UMC |
2010 |
DBLP DOI BibTeX RDF |
SystemC profiling, simulation, Sensor networks, transaction-level modeling |
31 | Jon Pérez 0001, Mikel Azkarate-askasua, Antonio Perez |
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
safety, fault injection, SystemC, codesign, odometry, IEC-61508 |
31 | Yun-Hung Liaw, Shih-Hao Hung, Chia-Heng Tu |
V2X: An Automated Tool for Building SystemC-Based Simulation Environments in Designing Multicore Systems-on-Chips. |
ISPA |
2010 |
DBLP DOI BibTeX RDF |
Systems-on-Chips, Multicore, translator, SystemC, Verilog, system-level simulation |
31 | Christian Meise, Christoph Grimm 0001 |
A SystemC based case study of a sensor application using the BeCom modeling methodology for virtual prototyping. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
SystemC-AMS, behavioral model, virtual prototype |
31 | Ilia Oussorov, Wolfgang Raab, J. A. Ulrich Hachmann, Alex Kravtsov |
Integration of Instruction Set Simulators into SystemC High Level Models. |
DSD |
2002 |
DBLP DOI BibTeX RDF |
gradual refinement, SystemC, hardware/software codesign, high level modeling |
31 | Prashant Arora, Rajesh K. Gupta 0001 |
Design and implementation of a hierarchical exception handling extension to systemC. |
CASES |
2000 |
DBLP DOI BibTeX RDF |
exception handling, systemC |
29 | Antonio Genov |
Power estimation framework based on SystemC-TLM performance models of SoC interconnect and memory systems. (Estimation de la consommation basée sur les modèles de performance SystemC-TLM des systèmes d'interconnexion et de mémoire des SoC). |
|
2021 |
RDF |
|
29 | Gabriel Busnot |
Parallel Standard-Compliant SystemC Simulation of Loosely-Timed Transaction Level Models. (Simulation SystemC parallèle et conforme au standard de modèles transactionnels à temps relâché). |
|
2020 |
RDF |
|
29 | Bastian Farkas |
Standard Compliant Snapshotting for SystemC Virtual Platforms (Standart-konformes Snapshotting für SystemC Virtuelle Plattformen) (PDF / PS) |
|
2020 |
DOI RDF |
|
29 | Thomas Zimmermann 0006, Mathias Mora, Sebastian Steinhorst, Daniel Mueller-Gritschneder, Andreas Jossen |
Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS. |
ACM Trans. Design Autom. Electr. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Rodrigo Cortés Porto |
Integration of SystemC-AMS Simulation Platforms into TTool. (Intégration de Plate-formes de Simulation SystemC-AMS dans TTool). |
|
2018 |
RDF |
|
29 | Bruno Kleinert |
Virtuelle Smart Home Netzwerkumgebung im Kontext von QEMU und SystemC (Virtual Smart Home network environment in the context of QEMU and SystemC) (PDF / PS) |
|
2017 |
RDF |
|
29 | Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid, Dietmar Petras, Andreas Hoffmann 0002 |
SystemC-link: Parallel SystemC simulation using time-decoupled segments. |
DATE |
2016 |
DBLP BibTeX RDF |
|
29 | Liliana Lilibeth Andrade Porras |
Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multi-disciplinary systems. (Principes et réalisation d'une interface de synchronisation interopérable entre modèles de calcul SystemC AMS pour le prototypage virtuel optimisé de systèmes multi-disciplines). |
|
2016 |
RDF |
|
29 | Benoit Vernay |
System-level modeling and simulation of microelectromechanical systems for multi-physics virtual prototyping in SystemC-AMS. (Modélisation et simulation haut-niveau de micro-systèmes électromécaniques pour le prototypage virtuel multi-physique en SystemC-AMS). |
|
2016 |
RDF |
|
29 | Abbas Abdulhameed |
Combining SysML and SystemC to Simulate and Verify Complex Systems. (Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes). |
|
2016 |
RDF |
|
29 | Jannis Stoppe, Rolf Drechsler |
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Nesrine Harrath |
A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. (Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles). |
|
2014 |
RDF |
|
29 | Wei Li, Dian Zhou, Minghua Li, Binh P. Nguyen, Xuan Zeng 0001 |
Near-Field Communication Transceiver System Modeling and Analysis Using SystemC/SystemC-AMS With the Consideration of Noise Issues. |
IEEE Trans. Very Large Scale Integr. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Jannis Stoppe, Robert Wille, Rolf Drechsler |
Data extraction from SystemC designs using debug symbols and the SystemC API. |
ISVLSI |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid, Laura Tosoratto, Alessandro Lonardo, Dietmar Petras, Thorsten Grötker |
legaSCi: Legacy SystemC Model Integration into Parallel Systemc Simulators. |
IPDPS Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Anirudh M. Kaushik, Hiren D. Patel |
Systemc-clang: An open-source framework for analyzing mixed-abstraction SystemC models. |
FDL |
2013 |
DBLP BibTeX RDF |
|
29 | Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui |
A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. |
IRI (best papers) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Zhaori Bi, Wei Li, Dian Zhou, Xuan Zeng 0001, Sheng-Guo Wang |
Mixed-signal system verification by SystemC/SystemC-AMS and HSIM-VCS in near field communication tag design. |
ASICON |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Fernando Herrera, Íñigo Ugarte, Eugenio Villar |
Towards automated implementation of adaptive systems from abstract SystemC specifications - From SystemC adaptive processes to embedded software and to synthesizable hardware descriptions. |
Des. Autom. Embed. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Christian Schröder |
Konfigurations-Interoperabilität von Hardware-Software-Modellen in SystemC (Configuration Interoperability of Hardware-Software-Models in SystemC) (PDF / PS) |
|
2011 |
DOI RDF |
|
29 | Amer Habib, François Pêcheux |
Modeling and simulation of a manycore PCR-CE lab-on-chip for DNA sequencing using SystemC/SystemC-AMS. |
BMAS |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Karsten Einwich |
Application of SystemC/SystemC-AMS for the Specification of Complex Wired Telecomunication Systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
28 | Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli |
A cosimulation methodology for HW/SW validation and performance estimation. |
ACM Trans. Design Autom. Electr. Syst. |
2009 |
DBLP DOI BibTeX RDF |
HW/SW co-simulation, HW/SW validation, Embedded Systems |
28 | Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer |
Verification of Temporal Properties in Automotive Embedded Software. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Giovanni Beltrame, Cristiana Bolchini, Luca Fossati, Antonio Miele, Donatella Sciuto |
ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Exploiting the ASM Method for Validation & Verification of Embedded Systems. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Katalin Popovici, Ahmed Amine Jerraya |
Simulink based hardware-software codesign flow for heterogeneous MPSoC. |
SCSC |
2007 |
DBLP BibTeX RDF |
hardware-software gradual refinement, multimedia applications, abstraction levels |
28 | Grégory Gailliard, Eric Nicollet, Michel Sarlotte, François Verdier |
Transaction level modelling of SCA compliant software defined radio waveforms and platforms PIM/PSM. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Anne E. Haxthausen, Jan Peleska 0001 |
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering |
28 | Ali Ahmadinia, Balal Ahmad, Ahmet T. Erdogan, Tughrul Arslan |
System-level Modelling and Analysis of Embedded Reconfigurable Cores for Wireless Systems. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Xiaoqing Peng, Huibiao Zhu, Jifeng He 0001, Naiyong Jin |
An Operational Semantics of an Event-Driven System-Level Simulator. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Yongxin Zhu 0001, Zhenxin Sun, Alexander Maxiaguine, Weng-Fai Wong |
Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Francesco Bruschi, Massimo Bombana |
A Design Methodology for the Exploitation of High Level Communication Synthesis. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Riadh Gaiech, Eric Martin 0001 |
A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|