Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Mikhail Glukhikh, Mikhail J. Moiseev, Sergey I. Salishev |
A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs. |
DSD |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Modeling and analyzing timing faults in transaction level SystemC programs. |
NoCArc@MICRO |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Naiju Zeng, Wenhui Zhang |
A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. |
APSEC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Müller, Yumin Zhou, Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel |
Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
15 | Christoph Roth, Harald Bucher, Simon Reder, Florian Buciuman, Oliver Sander, Jürgen Becker 0001 |
A SystemC modeling and simulation methodology for fast and accurate parallel MPSoC simulation. |
SBCCI |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic |
Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. |
IPDPS Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Ivanov, Evgeny Gavrin |
Toolset for SystemC code generation of heterogeneous platforms. |
FRUCT |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Zhenkai Zhang, Xenofon D. Koutsoukos |
Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems. |
IESS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Chun-Nan Chou, Chen-Kai Chu, Chung-Yang (Ric) Huang |
Conquering the scheduling alternative explosion problem of SystemC symbolic simulation. |
ICCAD |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ruomin Wang, Julien Denoulet, Sylvain Feruglio, Farouk Vallette, Patrick Garda |
Modeling of signal integrity in bus communications with timed data flow SystemC-AMS. |
FDL |
2013 |
DBLP BibTeX RDF |
|
15 | Peter Flake, Frank Oppenheimer |
Systemc infrastructure and extensions. |
FDL |
2013 |
DBLP BibTeX RDF |
|
15 | Bastian Haetzer, Martin Radetzki |
Systemc transaction level modeling with transaction events. |
FDL |
2013 |
DBLP BibTeX RDF |
|
15 | Daniel Chaves Cafe, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger |
Multi-paradigm semantics for simulating SysML models using SystemC-AMS. |
FDL |
2013 |
DBLP BibTeX RDF |
|
15 | Martin Elshuber, Susanne Kandl, Peter P. Puschner |
Improving System-Level Verification of SystemC Models with SPIN. |
FSFMA |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Wehner, Max Ferger, Diana Göhringer, Michael Hübner 0001 |
Rapid prototyping of a portable HW/SW co-design on the virtual zynq platform using SystemC. |
SoCC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui |
Verifying SystemC with predicate abstraction: A component based approach. |
IRI |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev |
Integration of SDL Models into a SystemC Project for Network Simulation. |
SDL Forum |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Sonali Dutta, Moshe Y. Vardi, Deian Tabakov |
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. |
DIFTS@FMCAD |
2013 |
DBLP BibTeX RDF |
|
15 | Hoang Minh Le 0001, Daniel Große, Vladimir Herdt, Rolf Drechsler |
Verifying SystemC using an intermediate verification language and symbolic simulation. |
DAC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Elvinia Riccobene, Patrizia Scandurra |
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. |
Des. Autom. Embed. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco |
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. |
Des. Autom. Embed. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | George Sobral Silveira, Alisson Vasconcelos de Brito, Helder F. de A. Oliveira, Elmar U. K. Melcher |
Open SystemC Simulator with Support for Power Gating Design. |
Int. J. Reconfigurable Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Kühnle, André Wagner, Alisson Vasconcelos de Brito, Jürgen Becker 0001 |
Modeling and Implementation of a Power Estimation Methodology for SystemC. |
Int. J. Reconfigurable Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi |
Optimized temporal monitors for SystemC. |
Formal Methods Syst. Des. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Automatic TLM Fault Localization for SystemC. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Alexey V. Zakharov, Mikhail J. Moiseev |
Automatic data race detection in SystemC models. |
Autom. Control. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner |
Optimized Transformation and Verification of SystemC Methods. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Mingsong Chen, Prabhat Mishra 0001, Dhrubajyoti Kalita |
Automatic RTL Test Generation from SystemC TLM Specifications. |
ACM Trans. Embed. Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Meng-Huan Wu, Peng-Chih Wang, Cheng-Yang Fu, Ren-Song Tsay |
An Extended SystemC Framework for Efficient HW/SW Co-Simulation. |
ACM Trans. Design Autom. Electr. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Nesrine Harrath, Bruno Monsuez |
SystemC waiting state automata. |
Int. J. Crit. Comput. Based Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Davide Quaglia, Riccardo Muradore, Roberto Bragantini, Paolo Fiorini |
A SystemC/Matlab co-simulation tool for networked control systems. |
Simul. Model. Pract. Theory |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Trevor Wieman, Bishnupriya Bhattacharya, Tor E. Jeremiassen, Christian Schröder, Bart Vanthournout |
An Overview of Open SystemC Initiative Standards Development. |
IEEE Des. Test Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Meriam Kallel, Younes Lahbib, Adel Baganne, Rached Tourki |
Monitoring transaction level SystemC models using a generic and aspect-oriented framework. |
Int. J. Comput. Aided Eng. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber |
Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. |
it Inf. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Tse-Chen Yeh, Ming-Chao Chiang |
On the interfacing between QEMU and SystemC for virtual platform construction: Using DMA as a case. |
J. Syst. Archit. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Hamid Soleimani, Arash Ahmadi, Mohammad Bavandpour, Amirali Amirsoleimani, Mark Zwolinski |
A Large Scale Digital Simulation of Spiking Neural Networks (SNN) on Fast SystemC Simulator. |
UKSim |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi |
Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification. |
DDECS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Lorenz 0002, Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel |
Non-invasive Power Simulation at System-Level with SystemC. |
PATMOS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Hoang M. Le, Daniel Große, Rolf Drechsler |
From Requirements and Scenarios to ESL Design in SystemC. |
ISED |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Mihai T. Lazarescu, Parinaz Sayyah, Davide Quaglia, Francesco Stefanni |
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems. |
DSD |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jens Brandenburg, Benno Stabernack |
A Generic and Non-intrusive Profiling Methodology for SystemC Multi-core Platform Simulation Models. |
ARCS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Rohit Sinha 0001, Aayush Prakash, Hiren D. Patel |
Parallel simulation of mixed-abstraction SystemC models on GPUs and multicore CPUs. |
ASP-DAC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid |
Cause and effect of nondeterministic behavior in sequential and parallel SystemC simulators. |
HLDVT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Mahesh Nanjundappa, Anirudh M. Kaushik, Hiren D. Patel, Sandeep K. Shukla |
Accelerating SystemC simulations using GPUs. |
HLDVT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Nenninger, Thomas Ruschival, Gian Luigi Madonna |
Design and Implementation of a Master-Slave Communication Protocol for Embedded Systems Using SystemC. |
CESCIT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Finn Haedicke, Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
15 | Daniel Lorenz 0002, Philipp A. Hartmann, Kim Grüttner, Achim Rettberg |
Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
15 | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. |
ICDCN |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Julio César Paulino de Melo, Luiz Eduardo Cunha Leite, Max M. Silveira, Rivaldo Junior, Márcio Eduardo Kreutz |
SCProcessor Builder: A Tool to Create and Simulate Processors in SystemC. |
SBESC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Ruomin Wang, Julien Denoulet, Sylvain Feruglio, Farouk Vallette, Patrick Garda |
High level modeling of signal integrity in field bus communication with SystemC-AMS. |
ICECS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Morozkin |
Possibility of SystemC code generation from SDL specification. |
FRUCT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Morozkin |
Obtaining an SDL entity identifier using SDL/SystemC co-modeling. |
FRUCT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Di Guglielmo, Graziano Pravadelli |
A testbench specification language for SystemC verification. |
CODES+ISSS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Bombieri, Sara Vinco, Valeria Bertacco, Debapriya Chatterjee |
SystemC simulation on GP-GPUs: CUDA vs. OpenCL. |
CODES+ISSS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Ecker, Volkan Esen, Michael Velten, Tudor Timisescu |
SystemC as completing pillar in industrial OVM based verification environments. |
CODES+ISSS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Denis Navarro, Oscar Lucía, Isidro Urriza, Luis Angel Barragan, Óscar Jiménez |
Modeling and simulation of power converter systems using SystemC system-level description language. |
IECON |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont |
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. |
SIES |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid |
Scandal: Systemc analysis for nondeterminism anomalies. |
FDL |
2012 |
DBLP BibTeX RDF |
|
15 | David J. Greaves, Muhammad Mehboob Yasin |
TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0. |
FDL (Selected Papers) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Yao Li 0009, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat |
A unified platform for design and verification of mixed-signal systems based on SystemC AMS. |
FDL |
2012 |
DBLP BibTeX RDF |
|
15 | Yao Li 0009, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat |
A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS. |
FDL (Selected Papers) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid |
SCandal: SystemC Analysis for Nondeterminism Anomalies. |
FDL (Selected Papers) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar |
A model-driven methodology for the development of SystemC executable environments. |
FDL |
2012 |
DBLP BibTeX RDF |
|
15 | Christiane Reuther, Karsten Einwich |
A SystemC AMS extension for controlled modules and dynamic step sizes. |
FDL |
2012 |
DBLP BibTeX RDF |
|
15 | Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander |
Formal heterogeneous system modeling with SystemC. |
FDL |
2012 |
DBLP BibTeX RDF |
|
15 | David J. Greaves, Muhammad Mehboob Yasin |
TLM POWER3: Power estimation methodology for SystemC TLM 2.0. |
FDL |
2012 |
DBLP BibTeX RDF |
|
15 | Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn |
Functional validation of AADL models via model transformation to SystemC with ATL. |
ACES-MB@MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Keita Nakajima, Takuji Hieda, Ittetsu Taniguchi, Hiroyuki Tomiyama, Hiroaki Takada |
A Fast Network-on-Chip Simulator with QEMU and SystemC. |
ICNC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Deian Tabakov, Moshe Y. Vardi |
Automatic aspectization of systemC. |
MISS@AOSD |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Roth, Simon Reder, Oliver Sander, Michael Hübner 0001, Jürgen Becker 0001 |
A Framework for exploration of parallel SystemC simulation on the single-chip cloud computer. |
SimuTools |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Finn Haedicke, Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
CRAVE: An advanced constrained random verification environment for SystemC. |
ISSoC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Sumit Adhikari, Markus Damm, Christoph Grimm 0001, François Pêcheux |
Tutorial T1: Design of Mixed-Signal Systems using SystemC AMS Extensions. |
VLSI Design |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Stanislaw Deniziak, Konrad Kurczyna |
Aspect-oriented SystemC-based performance evaluation of real-time embedded software. |
PDeS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang |
Symbolic model checking on SystemC designs. |
DAC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Sara Vinco, Debapriya Chatterjee, Valeria Bertacco, Franco Fummi |
SAGA: SystemC acceleration on GPU architectures. |
DAC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Xuexiang Wang, Weiwei Shan, Hao Liu |
Uniform SystemC Co-Simulation Methodology for System-on-Chip Designs. |
CyberC |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Kühnle |
Hardwarenahe Simulation in SystemC zur Analyse dynamisch rekonfigurierbarer Systeme. |
|
2012 |
RDF |
|
15 | Jens Gladigau |
Combining formal model-based system-level design with SystemC transaction level modeling. |
|
2012 |
RDF |
|
15 | Jari Kreku |
Early-phase performance evaluation of computer systems using workload models and SystemC. |
|
2012 |
RDF |
|
15 | Hossein Hojjat, Mohammad Reza Mousavi 0001, Marjan Sirjani |
Formal Analysis of SystemC Designs in Process Algebra. |
Fundam. Informaticae |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Weichen Liu, Jiang Xu 0001, Jogesh K. Muppala, Wei Zhang 0012, Xiaowen Wu, Yaoyao Ye |
Coroutine-Based Synthesis of Efficient Embedded Software From SystemC Models. |
IEEE Embed. Syst. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Sergey I. Balandin, Michel Gillet, Irina Lavrovskaya, Valentin Olenev, Alexey Rabin, Alexander Stepanov 0003 |
Co-Modeling of Embedded Networks Using SystemC and SDL. |
Int. J. Embed. Real Time Commun. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Kraemer, Rainer Leupers, Dietmar Petras, Thomas Philipp, Andreas Hoffmann 0002 |
Checkpointing SystemC-Based Virtual Platforms. |
Int. J. Embed. Real Time Commun. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Daewoong Kim, Kilhyung Cha, Doo-Seung Hong, Soonwoo Choi, Soo-Ik Chae |
A Programmable Video Platform and Its Application Mapping Framework Using the Target Application's SystemC Models. |
EURASIP J. Embed. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Wan Du, Fabien Mieyeville, David Navarro, Ian O'Connor |
IDEA1: A validated SystemC-based system-level design and simulation environment for wireless sensor networks. |
EURASIP J. Wirel. Commun. Netw. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Ming-Chao Chiang, Tse-Chen Yeh, Guo-Fu Tseng |
A QEMU and SystemC-Based Cycle-Accurate ISS for Performance Estimation on SoC Development. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Hector Posadas, Eugenio Villar, Dominique Ragot, Marcos Martínez |
Early, time-approximate modeling of multi-OS. linux platforms in a systemC co-simulation environment. |
Comput. Syst. Sci. Eng. |
2011 |
DBLP BibTeX RDF |
|
15 | Jon Pérez 0001, Roman Obermaisser, Carlos Fernando Nicolás, Iban Ayestaran |
Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS. |
Comput. Syst. Sci. Eng. |
2011 |
DBLP BibTeX RDF |
|
15 | Stefano Gigli, Massimo Conti |
NOCEXplore - A SystemC Platform for NoC Analysis. |
Solutions on Embedded Systems |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marco Giammarini, Simone Orcioni, Massimo Conti |
Powersim: Power Estimation with SystemC - Computational Complexity Estimate of a DSR Front-End Compliant to ETSI Standard ES 202 212. |
Solutions on Embedded Systems |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Laurence Pierre, Luca Ferro |
Dynamic Verification of SystemC Transactional Models. |
Model-Based Testing for Embedded Systems |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Oliver Stecklina, Frank Vater, Thomas Basmer, Erik Bergmann, Hannes Menzel |
Hybrid Simulation Environment for rapid MSP430 system design test and validation using MSPsim and SystemC. |
DDECS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Karsten Einwich |
Introduction to the SystemC AMS extension standard. |
DDECS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Kun Lu 0005, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
Removal of unnecessary context switches from the systemc simulation kernel for fast VP simulation. |
ICSAMOS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
Transforming SystemC Transaction Level Models into UPPAAL timed automata. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Kratos - A Software Model Checker for SystemC. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
SystemC AMS behavioral modeling of a CMOS video sensor. |
VLSI-SoC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Chenxu Zhao, Tom J. Kazmierski |
An extension to SystemC-A to support mixed-technology systems with distributed components. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Weiyun Lu, Martin Radetzki |
Efficient Fault Simulation of SystemC Designs. |
DSD |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mario Westmeier, Benjamin Herwig, Josef Börcsök |
Enhancing a simulation environment for computer architecture to a SystemC based testbench tool for design verification. |
ICAT |
2011 |
DBLP DOI BibTeX RDF |
|