Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
An Analytic Evaluation of SystemC Encodings in Promela. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler |
Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
15 | Gilles B. Defo, Wolfgang Müller 0003, Heinrich Rommel |
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
15 | Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel |
Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
15 | Carsten Gremzow, Nico Moser, Jan Lucas |
sysCgen - A Tool for SystemC TLM Simulator Synthesis. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
15 | Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel |
SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
15 | |
The co-simulation interface SystemC/Matlab applied in JPEG algorithm. |
ReCoSoC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hély |
SystemC modeling of RFID systems for robustness analysis. |
SoftCOM |
2011 |
DBLP BibTeX RDF |
|
15 | Matthias Kühnle, André Wagner, Jürgen Becker 0001 |
A statistical power estimation methodology embedded in a SystemC code translator. |
SBCCI |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware. |
FDL |
2011 |
DBLP BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco |
Efficient implementation and abstraction of systemc data types for fast simulation. |
FDL |
2011 |
DBLP BibTeX RDF |
|
15 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM. |
FDL |
2011 |
DBLP BibTeX RDF |
|
15 | Mu Zhou, René van Leuken 0001 |
Systemc-AMS model of a dynamic large-scale satellite-based AIS-like network. |
FDL |
2011 |
DBLP BibTeX RDF |
|
15 | Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich |
ESL power and performance estimation for heterogeneous MPSOCS using SystemC. |
FDL |
2011 |
DBLP BibTeX RDF |
|
15 | Francisco Mendoza 0001, Christian Köllner, Jürgen Becker 0001, Klaus D. Müller-Glaser |
An automated approach to SystemC/Simulink co-simulation. |
International Symposium on Rapid System Prototyping |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Pockrandt, Paula Herber, Sabine Glesner |
Model checking a SystemC/TLM design of the AMBA AHB protocol. |
ESTIMedia |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke |
Using analog circuit behavior to generate SystemC events for an acceleration of mixed-signal simulation. |
ICCD |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
A SystemC AMS/TLM platform for CMOS video sensors. |
DASIP |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Julien Peeters, Nicolas Ventroux, Tanguy Sassolas, Lionel Lacassagne |
A systemc TLM framework for distributed simulation of complex systems with unpredictable communication. |
DASIP |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Yves Blanchard, Antoine Dupret, Arnaud Peizerat |
Systemc modelization for fast validation of imager architectures. |
DASIP |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Laurent Bousquet, Fabio Cenni, Emmanuel Simeu |
SystemC-AMS high-level modeling of linear analog blocks with power consumption information. |
LATW |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar |
Mutation analysis for SystemC designs at TLM. |
LATW |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler |
Simulation-based equivalence checking between SystemC models at different levels of abstraction. |
ACM Great Lakes Symposium on VLSI |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jun Ye, QingPing Tan, Tun Li |
Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach. |
ISQED |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Kuznik, Wolfgang Müller 0003 |
Aspect enhanced functional coverage driven verification in the SystemC HDVL. |
ISOCC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Roth, Oliver Sander, Matthias Kühnle, Jürgen Becker 0001 |
HLA-based simulation environment for distributed SystemC simulation. |
SimuTools |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Dániel Horváth, Tuan Anh Trinh |
A SystemC-Based Simulation Framework for Energy-Efficiency Evaluation of Embedded Networking Devices. |
EUNICE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail J. Moiseev, Alexey V. Zakharov, Ilya Klotchkov, Sergey I. Salishev |
Static analysis method for deadlock detection in SystemC designs. |
SoC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Kuznik, Wolfgang Müller 0003 |
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Harry Broeders, René van Leuken 0001 |
Extracting behavior and dynamically generated hierarchy from SystemC models. |
DAC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Aisha Fouad Bushager |
Smart card systems : managing risks and modelling security protocols using SystemC and Transaction Level Modelling. |
|
2011 |
RDF |
|
15 | Mostafa I. Soliman, Abdulmajid Farea Al-Juniad |
Systemc Implementation and Performance Evaluation of a Decoupled General-Purpose Matrix Processor. |
Parallel Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Myoung-Keun You, Gi-Yong Song |
SystemVerilog-Based Verification Environment Employing Multiple Inheritance of SystemC. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sung-Rok Yoon, Min Li Huang, Sang-Ho Seo, Hiroshi Ochi, Sin-Chong Park |
A Fast Architecture Exploration Method for High Throughput IEEE 802.11e MAC Implementation Using SystemC. |
IEICE Trans. Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Yaseen Zaidi, Christoph Grimm 0001, Jan Haase 0001 |
On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS. |
EURASIP J. Embed. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani |
Sysfier: Actor-based formal verification of SystemC. |
ACM Trans. Embed. Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya |
Analysis of SystemC actor networks for efficient synthesis. |
ACM Trans. Embed. Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Blanc, Daniel Kroening |
Race analysis for systemc using model checking. |
ACM Trans. Design Autom. Electr. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar |
Generating heterogeneous executable specifications in SystemC from UML/MARTE models. |
Innov. Syst. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber |
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. |
|
2010 |
RDF |
|
15 | Daniel Große, Rolf Drechsler |
Quality-Driven SystemC Design |
|
2010 |
RDF |
|
15 | Wan Du, Fabien Mieyeville, David Navarro |
IDEA1: A SystemC-based system-level simulator for wireless sensor networks. |
WCNIS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Popp, Andreas Herrholz, Kim Grüttner, Yannick Le Moullec, Peter Koch 0001, Wolfgang Nebel |
SystemC-AMS SDF model synthesis for exploration of heterogeneous architectures. |
DDECS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Hector Posadas, Eugenio Villar, Dominique Ragot, Marcos Martínez |
Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment. |
ISORC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Große, Hoang Minh Le 0001, Rolf Drechsler |
Proving transaction and system-level properties of untimed SystemC TLM designs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Deian Tabakov, Moshe Y. Vardi |
Monitoring temporal SystemC properties. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Automatic Fault Localization for SystemC TLM Designs. |
MTV |
2010 |
DBLP DOI BibTeX RDF |
|
15 | François Pêcheux, Khouloud Zine el Abidine, Alain Greiner |
Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS. |
PATMOS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Bruno Zatt, Cláudio Machado Diniz, Luciano Volcan Agostini, Sergio Bampi |
Timing and interface communication analysis of H.264/AVC encoder using SystemC model. |
VLSI-SoC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Homa Alemzadeh, Marco Cimei, Paolo Prinetto, Zainalabedin Navabi |
Facilitating testability of TLM FIFO: SystemC implementations. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Homa Alemzadeh, Soheil Aminzadeh, Reihaneh Saberi, Zainalabedin Navabi |
Code optimization for enhancing SystemC simulation time. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Aline Mello 0001, Isaac Maia, Alain Greiner, François Pêcheux |
Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
Automated conformance evaluation of SystemC designs using timed automata. |
ETS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Lévêque, François Pêcheux, Marie-Minerve Louërat, Hassan Aboushady, Michel Vasilevski |
SystemC-AMS Models for Low-Power Heterogeneous Designs: Application to a WSN for the Detection of Seismic Perturbations. |
ARCS Workshops |
2010 |
DBLP BibTeX RDF |
|
15 | Hector Posadas, Eugenio Villar |
Modeling Separate Memory Spaces in Native Co-simulation with SystemC for Design Space Exploration. |
ARCS Workshops |
2010 |
DBLP BibTeX RDF |
|
15 | Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla |
SCGPSim: a fast SystemC simulator on GPUs. |
ASP-DAC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | W. M. Young, Chua-Huang Huang, Alan P. Su, Chewnpu Jou, Fu-Lung Hsueh |
A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example. |
ASP-DAC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Alper Sen 0001, Magdy S. Abadir |
Coverage metrics for verification of concurrent SystemC designs using mutation testing. |
HLDVT |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Towards analyzing functional coverage in SystemC TLM property checking. |
HLDVT |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch |
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models. |
MBMV |
2010 |
DBLP BibTeX RDF |
|
15 | Jens Brandt 0001, Mike Gemünde, Klaus Schneider 0001 |
From Synchronous Guarded Actions to SystemC. |
MBMV |
2010 |
DBLP BibTeX RDF |
|
15 | Deian Tabakov, Moshe Y. Vardi |
Optimized temporal monitors for SystemC. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Kim Grüttner, Henning Kleen, Frank Oppenheimer, Achim Rettberg, Wolfgang Nebel |
Towards a synthesis semantics for systemC channels. |
CODES+ISSS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Coussy, Andrés Takach, Michael McNamara, Mike Meredith |
An introduction to the SystemC synthesis subset standard. |
CODES+ISSS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Schumacher, Rainer Leupers, Dietmar Petras, Andreas Hoffmann 0002 |
parSC: synchronous parallel systemc simulation on multi-core host architectures. |
CODES+ISSS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Kevin Marquet, Matthieu Moy |
PinaVM: a systemC front-end based on an executable intermediate representation. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sara Real, Hector Posadas, Eugenio Villar |
L2 Cache Modeling based on address modification for Native Co-Simulation in SystemC. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Kuznik, Gilles B. Defo, Wolfgang Müller 0003 |
Verification of a CAN bus model in SystemC with functional coverage. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Elvinia Riccobene, Patrizia Scandurra |
An Executable Semantics of the SystemC UML Profile. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Chun-Nan Chou, Chang-Hong Hsu, Yueh-Tung Chao, Chung-Yang Huang |
Formal deadlock checking on high-level SystemC designs. |
ICCAD |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Peñil, Fernando Herrera, Eugenio Villar |
Formal Foundations for MARTE-SystemC Interoperability. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Jun Zhu 0011, Ingo Sander, Axel Jantsch |
HetMoC: Heterogeneous Modelling in SystemC. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Mohammad Hosseinabady, José L. Núñez-Yáñez |
SystemC Architectural Transaction Level Modelling for Large NoCs. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Chenxu Zhao, Tom J. Kazmierski |
Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Chenxu Zhao, Tom J. Kazmierski |
SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Jon Pérez 0001, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum |
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Kevin Marquet, Bageshri Karkare, Matthieu Moy |
A Theoretical and Experimental Review of SystemC Front-ends. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | François Pêcheux, Amer Habib |
Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Sumit Adhikari, Christoph Grimm 0001 |
Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann |
An Accelerated Mixed-Signal Simulation Kernel for SystemC. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Eugenio Villar, Fernando Herrera, Víctor Fernández 0001 |
Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Tobias Kirchner, Nico Bannow, Christian Kerstan, Christoph Grimm 0001 |
Mixed Signal Simulation with SystemC and Saber. |
FDL |
2010 |
DBLP BibTeX RDF |
|
15 | Zhuo Ruan, Kurtis Cahill, David A. Penry |
Elaboration-time synthesis of high-level language constructs in SystemC-based microarchitectural simulators. |
ICCD |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Hosseinabady, José L. Núñez-Yáñez |
Effective modelling of large NoCs using SystemC. |
ISCAS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | François Pêcheux, Morgan Madec, Christophe Lallement |
Is SystemC-AMS an appropriate "promoter" for the modeling and simulation of bio-compatible systems? |
ISCAS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski |
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber |
Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. |
Ausgezeichnete Informatikdissertationen |
2010 |
DBLP BibTeX RDF |
|
15 | Muhammad Farooq, Sumit Adhikari, Jan Haase 0001, Christoph Grimm 0001 |
Modeling methodology in SystemC-AMS for embedded analog mixed signal systems. |
FIT |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Aisha Fouad Bushager, Mark Zwolinski |
Modelling Smart Card Security Protocols in SystemC TLM. |
EUC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Abdelbasset Massouri, Antoine Lévêque, Laurent Clavier, Michel Vasilevski, Andreas Kaiser, Marie-Minerve Louërat |
Baseband fading channel simulator for Inter-Vehicle Communication using SystemC-AMS. |
BMAS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Yifan Wang 0001, Zhimiao Chen, Stefan Heinen |
Hierarchical generation of pin accurate SystemC models based on RF circuit schematics. |
BMAS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Verifying SystemC: A software model checking approach. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
15 | I-Jui Tung, Kam-Tou Sio, Chin-Hung Peng, Feipei Lai |
A SystemC content addressable memory power estimation tool for early design verification. |
APCCAS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid |
Modeling of Flocking Behaviour System in SystemC. |
AICT |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ke Yu |
Real-time operating system modelling and simulation using systemC. |
|
2010 |
RDF |
|
15 | Marius Monton |
Checkpointing for virtual platforms and systemC-TLM-2.0. |
|
2010 |
RDF |
|
15 | Scott Sirowy |
Emulation of SystemC Applications for Portable FPGA Binaries. |
|
2010 |
RDF |
|
15 | Nicolas Blanc |
Static Analysis for SystemC with Scoot: From Verification to Simulation. |
|
2010 |
RDF |
|
15 | Scott Sirowy, Chen Huang 0005, Frank Vahid |
Dynamic acceleration management for SystemC emulation. |
SIGBED Rev. |
2009 |
DBLP DOI BibTeX RDF |
|