Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia |
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. |
J. Electron. Test. |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Van Chan Ngo, Axel Legay, Jean Quilbeuf |
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
15 | Martin Barnasconi, Manfred Dietrich, Karsten Einwich, Thilo Vörtler, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Zhi Wang 0005, Philippe Cuenot, Ingmar Neumann, Thang Nguyen 0007, Ronan Lucas, Emmanuel Vaumorin |
UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. |
IEEE Des. Test |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Dominik Macko, Katarína Jelemenská, Pavel Cicák |
Power-Management Specification in SystemC. |
DDECS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail Glukhikh, Mikhail J. Moiseev |
Fast Simulation of SystemC Synthesizable Subset. |
DDECS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Syed Saif Abrar, Maksim Jenihhin, Jaan Raik |
SystemC-Based Loose Models for Simulation Speed-Up by Abstraction of RTL IP Cores. |
DDECS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Shu-Juan Yin, Xiang Yu Li, Han Li |
Modeling the Data Flow Application Specific Integrated Circuit with SystemC. |
FSDM |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Efstathios Sotiriou-Xanthopoulos, Shalina Percy Delicia, Peter Figuli, Kostas Siozios, George Economakos, Jürgen Becker 0001 |
A power estimation technique for cycle-accurate higher-abstraction SystemC-based CPU models. |
SAMOS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid |
Parallel SystemC simulation for ESL design using flexible time decoupling. |
SAMOS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers, Twan Basten |
Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. |
SAMOS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jan Wagner, Rolf Meyer, Rainer Buchty, Mladen Berekovic |
A scriptable, standards-compliant reporting and logging extension for SystemC. |
SAMOS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Kiki Wirianto, Amir Zjajo, Carlo Galuzzi, Rene van Leuken 0001 |
Multi-Domain SystemC model of 128-channel time-multiplexed neural interface front-end. |
SAMOS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Ben Aoun, Liliana Andrade, Torsten Mähne, François Pêcheux, Marie-Minerve Louërat, Alain Vachoux |
Pre-simulation elaboration of heterogeneous systems: The SystemC multi-disciplinary virtual prototyping approach. |
SAMOS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Hanan Tawfik, Mona Safar, Mohamed Abdel Salam, M. Watheq El-Kharashi, Ashraf Salem |
Toward the interfacing of systemC-AMS models with hardware-emulated platforms. |
IDT |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Maxim Petrov, Kirill Gagarski, Mikhail J. Moiseev |
Automatic transformation of SystemC designs to speed up simulation. |
EWDTS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Fabien Teysseyre, David Navarro, Ian O'Connor, Francesco Cascio, Fabio Cenni, Olivier Guillaume |
Fast optical simulation from a reduced set of impulse responses using SystemC-AMS. |
DATE |
2015 |
DBLP BibTeX RDF |
|
15 | Jannis Stoppe, Robert Wille, Rolf Drechsler |
Automated feature localization for dynamically generated SystemC designs. |
DATE |
2015 |
DBLP BibTeX RDF |
|
15 | Moisés Urbina, Zaher Owda, Roman Obermaisser |
Simulation Environment Based on SystemC and VEOS for Multi-core Processors with Virtual AUTOSAR ECUs. |
CIT/IUCC/DASC/PICom |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
STATE - A SystemC to Timed Automata Transformation Engine. |
HPCC/CSS/ICESS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid |
Modeling Exclusive Memory Access for a Time-Decoupled Parallel SystemC Simulator. |
SCOPES |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Diego Stéfano Fonseca Ferreira, Augusto Loureiro da Costa, André Gustavo Scolari Conceição |
A SystemC Model of a Low-Level Inference Engine for Symbolic Reasoning in Cognitive Agents*. |
SyRoCo |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel |
Advanced SystemC Tracing and Analysis Framework for Extra-Functional Properties. |
ARC |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Lydia Jaß, Paula Herber |
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving. |
IESS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Asad Khan, Weiqiang Ma, Chris Wolf, Bengt Werner |
Multi-Threaded Simics SystemC Virtual Platform. |
ICCAD |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Wei Zuo, Warren Kemmerer, Jong Bin Lim, Louis-Noël Pouchet, Andrey Ayupov, Taemin Kim, Kyungtae Han, Deming Chen |
A Polyhedral-based SystemC Modeling and Generation Framework for Effective Low-power Design Space Exploration. |
ICCAD |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Michel Vasilevski, E. Queiroz, A. L. Fonseca, Ivanovitch Silva, Sebastian Yuri Cavalcanti Catunda, Luiz Affonso Guedes |
SystemC AMS modeling of a sensor node energy consumption and battery state-of-charge for WSN. |
NEWCAS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sara Vinco, Michele Lora, Mark Zwolinski |
Conservative behavioural modelling in systemc-AMS. |
FDL |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Denis Becker, Matthieu Moy, Jérôme Cornet |
Challenges for the parallelization of loosely timed SystemC programs. |
RSP |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Rosario Distefano, Franco Fummi, Carlo Laudanna, Nicola Bombieri, Rosalba Giugno |
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology. |
ACM Great Lakes Symposium on VLSI |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Yunzhong Zhu, Tao Li, Jingpeng Guo, Haiyang Zhou, Fangfa Fu |
A novel low-cost interface design for SystemC and SystemVerilog Co-simulation. |
ASICON |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm 0001 |
Towards formal validation: Symbolic simulation of SystemC models. |
DTIS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Mehdi Sedighi, Foroogh Haddadi, Samaneh Emami, Mahya Saffarpour |
A heuristic algorithm for high level synthesis of decimal arithmetic circuits using SystemC. |
DTIS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Herdt, Hoang Minh Le 0001, Rolf Drechsler |
Verifying SystemC using stateful symbolic simulation. |
DAC |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Cristiano Scavongelli, Franco Francesco, Simone Orcioni, Massimo Conti |
Battery management system simulation using SystemC. |
WISES |
2015 |
DBLP BibTeX RDF |
|
15 | Christoph Schumacher |
Construction of parallel and distributed SystemC simulators. |
|
2015 |
RDF |
|
15 | Benjamin Carrión Schäfer, Anushree Mahapatra |
S2CBench: Synthesizable SystemC Benchmark Suite for High-Level Synthesis. |
IEEE Embed. Syst. Lett. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Giorgio Biagetti, Marco Giammarini, Mauro Ballicchia, Massimo Conti, Simone Orcioni |
SystemC-WMS: wave mixed signal simulator for non-linear heterogeneous systems. |
Int. J. Embed. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg |
A program state machine based virtual processing model in SystemC. |
SIGBED Rev. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli |
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. |
IEEE Trans. Computers |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Tiago Rogério Mück, Antônio Augusto Fröhlich |
Aspect-oriented RTL HW design using SystemC. |
Microprocess. Microsystems |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ed Harcourt, James T. Perconti |
A SystemC library for specifying pipeline abstractions. |
Microprocess. Microsystems |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid, Laura Tosoratto, Alessandro Lonardo, Dietmar Petras, Andreas Hoffmann 0002 |
legaSCi: Legacy SystemC Model Integration into Parallel Simulators. |
ACM Trans. Embed. Comput. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Claude Helmstetter |
TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox. |
Leibniz Trans. Embed. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Van Chan Ngo, Axel Legay, Jean Quilbeuf |
Dynamic Verification of SystemC with Statistical Model Checking. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Abdelhakim Alali, Ismail Assayad, Mohamed Sadik |
Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | John W. O'Leary, David M. Russinoff |
Modeling Algorithms in SystemC and ACL2. |
ACL2 |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nesrine Harrath, Bruno Monsuez |
Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. |
Int. J. Crit. Comput. Based Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët |
An Approach based on SysML and SystemC to Simulate Complex Systems. |
MODELSWARD |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Ventroux, Julien Peeters, Tanguy Sassolas, James C. Hoe |
Highly-parallel special-purpose multicore architecture for SystemC/TLM simulations. |
ICSAMOS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sonali Dutta, Moshe Y. Vardi |
Assertion-based flow monitoring of SystemC models. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Michael Mefenza, Franck Yonga, Christophe Bobda |
Automatic UVM Environment Generation for Assertion-Based and Functional Verification of SystemC Designs. |
MTV |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Cucchetto, Alessandro Lonardi, Graziano Pravadelli |
A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms. |
VLSI-SoC |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Lonardi, Graziano Pravadelli |
On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms. |
VLSI-SoC (Selected Papers) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid, Laura Tosoratto |
Time-decoupled parallel SystemC simulation. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Rolf Drechsler |
Towards verifying determinism of SystemC designs. |
DATE |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jones Yudi Mori, Michael Hübner 0001 |
A high-level analysis of a multi-core vision processor using SystemC and TLM2.0. |
ReConFig |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Naiju Zeng, Wenhui Zhang |
A Symbolic Partial Order Method for Verifying SystemC. |
APSEC (1) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | A. A. Nacci, Giovanni Bettinazzi, Christian Pilato, Vincenzo Rana, Marco D. Santambrogio, Donatella Sciuto |
A SystemC-based framework for the simulation of appliances networks in energy-aware smart spaces. |
WF-IoT |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Ammar Ben Khadra, Yu Bai 0003, Klaus Schneider 0001 |
High level modeling of elastic circuits in SystemC. |
SpringSim (TMS-DEVS) |
2014 |
DBLP BibTeX RDF |
|
15 | Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg |
A Program State Machine Based Virtual Processing Model in SystemC. |
EWiLi |
2014 |
DBLP BibTeX RDF |
|
15 | Jannis Stoppe, Robert Wille, Rolf Drechsler |
Validating SystemC Implementations Against Their Formal Specifications. |
SBCCI |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Torsten Maehne, Zhi Wang 0005, Benoit Vernay, Liliana Andrade, Cédric Ben Aoun, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Arnaud Krust, Gerold Schropfer, Martin Barnasconi, Karsten Einwich, Fabio Cenni, Olivier Guillaume |
UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context. |
ICECS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yin-Tsung Hwang, Jiun-Yan Chen |
An IP interface design compiler with SystemC based input specifications. |
NEWCAS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Bastian Haetzer, Martin Radetzki |
A comparison of parallel systemc simulation approaches at RTL. |
FDL |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Leandro Gil, Martin Radetzki |
SystemC AMS power electronic modeling with ideal instantaneous switches. |
FDL |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Christian Sauer 0001, Hans-Martin Blüthgen, Hans-Peter Loeb |
Distributed, loosely-synchronized systemC/TLM simulations of many-processor platforms. |
FDL |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alper Sen 0001, Onder Kalaci |
Hybrid dynamic data race detection in systemC. |
FDL |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Víctor Fernández 0001, Elier Wilpert, Herique Isidoro, Cédric Ben Aoun, François Pêcheux |
SystemC-MDVP modelling of pressure driven microfluidic systems. |
MECO |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Iban Ayestaran, Carlos F. Nicolás, Jon Pérez 0001, Peter P. Puschner |
Modeling logical execution time based safety-critical embedded systems in SystemC. |
MECO |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Moo-Kyoung Chung, Jun-Kyoung Kim, Soojung Ryu |
SimParallel: A high performance parallel SystemC simulator using hierarchical multi-threading. |
ISCAS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Markus Becker 0001, Christoph Kuznik, Wolfgang Müller 0003 |
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. |
ICCPS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Bettina Hünnemeyer |
Formal Verification of SystemC Designs using the BLAST Software Model Checker. |
ACES-MB@MoDELS |
2014 |
DBLP BibTeX RDF |
|
15 | Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt |
Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS. |
GI-Jahrestagung |
2014 |
DBLP BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia |
On the reuse of RTL assertions in SystemC TLM verification. |
LATW |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yao Li 0009, Ramy Iskander, Marie-Minerve Louërat |
Modeling, design and verification platform using SystemC AMS. |
ISQED |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Analysis of Permanent Faults in Transaction Level SystemC Models. |
ICDCS Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Naiju Zeng, Wenhui Zhang |
An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Judith Peters, Robert Wille, Rolf Drechsler |
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. |
ICECCS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zhimiao Chen, Yifan Wang 0001, Lei Liao, Ye Zhang 0003, Aytac Atac, Jan Henning Müller, Ralf Wunderlich, Stefan Heinen |
A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification. |
DAC |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Marc Michael |
Methoden zum Erfassen und Entwickeln von SystemC-Modellen. |
|
2014 |
RDF |
|
15 | Khouloud Zine Elabidine |
Méthode de prototypage virtuel permettant l'évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce. (Early design power estimation method for multiprocessor system on chip, based on SystemC prototyping). |
|
2014 |
RDF |
|
15 | Marius Monton, Jakob Engblom, Mark Burton |
Checkpointing for Virtual Platforms and SystemC-TLM. |
IEEE Trans. Very Large Scale Integr. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Kun-Lin Tsai, I-Jui Tung, Feipei Lai |
A Fast Power Estimation Method for Content Addressable Memory by Using SystemC Simulation Environment. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
Facilitating the design of fault tolerance in transaction level SystemC programs. |
Theor. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Weiyun Lu, Martin Radetzki |
Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation. |
Microprocess. Microsystems |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Software Model Checking SystemC. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Keita Nakajima, Shuto Kurebayashi, Yusuke Fukutsuka, Takuji Hieda, Ittetsu Taniguchi, Hiroyuki Tomiyama, Hiroaki Takada |
Naxim: A Fast and Retargetable Network-on-Chip Simulator with QEMU and SystemC. |
Int. J. Netw. Comput. |
2013 |
DBLP BibTeX RDF |
|
15 | Yanyan Gao 0001, Xi Li 0003 |
A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs. |
J. Electron. Test. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Sabine Glesner |
A HW/SW co-verification framework for SystemC. |
ACM Trans. Embed. Comput. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail J. Moiseev, Mikhail Glukhikh, Alexey V. Zakharov, Harald Richter 0001 |
A static analysis approach to data race detection in SystemC designs. |
DDECS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Syed Saif Abrar, Maksim Jenihhin, Jaan Raik |
Extensible open-source framework for translating RTL VHDL IP cores to SystemC. |
DDECS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Syed Saif Abrar, Maksim Jenihhin, Jaan Raik, Shyam Kiran A., C. Babu |
Performance analysis of cosimulating processor core in VHDL and SystemC. |
ICACCI |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Efstathios Sotiriou-Xanthopoulos, Kostas Siozios, George Economakos, Dimitrios Soudris |
A Process-based Reconfigurable SystemC Module for simulation speedup. |
ICSAMOS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yanyan Gao 0001, Xi Li 0003 |
An effective model extraction method with state space compression for model checking SystemC TLM designs. |
ICSAMOS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Nick Ni, Yi Peng |
Co-simulation framework of SystemC SoC virtual prototype and custom logic (abstract only). |
FPGA |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Scalable fault localization for SystemC TLM designs. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Matthieu Moy |
Parallel programming with SystemC for loosely timed models: a non-intrusive approach. |
DATE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López 0001 |
UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications. |
DSD |
2013 |
DBLP DOI BibTeX RDF |
|