Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz |
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. |
Formal Methods Syst. Des. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Syed Mahfuzul Aziz |
A cycle-accurate transaction level SystemC model for a serial communication bus. |
Comput. Electr. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Y. W. Hau, Mohamed Khalil Hani |
SystemC-based HW/SW co-simulation platform for system-on-chip (SoC) design space exploration. |
Int. J. Inf. Commun. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Sanggyu Park, Sang-yong Yoon, Soo-Ik Chae |
A mixed-level virtual prototyping environment for SystemC-based design methodology. |
Microelectron. J. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Farhat Thabet, Philippe Coussy, Dominique Heller, Eric Martin 0001 |
Exploration and Rapid Prototyping of DSP Applications using SystemC Behavioral Simulation and High-level Synthesis. |
J. Signal Process. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Prototyping, Refinement, High-level synthesis, Design space exploration, System level design |
15 | Sang-Young Cho, Jeong-Bae Lee |
Virtual Development Environment for Embedded Systems Using ARMulator and SystemC Models. |
Intelligent Technical Systems |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
Verification of an industrial SystemC/TLM model using LOTOS and CADP. |
MEMOCODE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Franco Fummi, Giovanni Perbellini, Davide Quaglia, Sara Vinco |
A SystemC-centric approach for simulation and generation of WSN applications targeted to ZigBee. |
MobiQuitous |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Große, Hoang Minh Le 0001, Rolf Drechsler |
Formal Verification of Abstract SystemC Models. |
Algorithms and Applications for Next Generation SAT Solvers |
2009 |
DBLP BibTeX RDF |
|
15 | Daniel Große, Hoang Minh Le 0001, Rolf Drechsler |
Induction-Based Formal Verification of SystemC TLM Designs. |
MTV |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Alper Sen 0001 |
Mutation Operators for Concurrent SystemC Designs. |
MTV |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
On the Mutation Analysis of SystemC TLM-2.0 Standard. |
MTV |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Martin Barnasconi, Markus Damm, Karsten Einwich |
SystemC AMS Extensions: New Language - New Methods - New Applications. |
PATMOS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Kirchner, Nico Bannow, Christoph Grimm 0001 |
Analogue mixed signal simulation using spice and SystemC. |
DATE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Felix Madlener, H. Gregor Molter, Sorin A. Huss |
SC-DEVS: An efficient SystemC extension for the DEVS model of computation. |
DATE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Christian Genz, Rolf Drechsler |
Overcoming limitations of the SystemC data introspection. |
DATE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Peter Brunmayr, Jan Haase 0001, Florian Schupfer |
Late Hardware/Software Partitioning by Using SystemC Functional Models. |
Asia International Conference on Modelling and Simulation |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Monica Rafaila, Christian Decker, Christoph Grimm 0001, Karsten Einwich, Thomas Markwirth, Georg Pelz |
New Methods for System-level Verification using SystemC-AMS Extensions: Application to an Automotive ECU. |
MBMV |
2009 |
DBLP BibTeX RDF |
|
15 | Jens Gladigau, Christian Haubelt, Martin Streubühr, Jürgen Teich, Axel Schneider, Joachim Knäblein, Michael Lindig |
Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. |
MBMV |
2009 |
DBLP BibTeX RDF |
|
15 | |
Using matlab and Simulink in SystemC verification environment By JPEG algorithm. |
ICECS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jürgen Sommer, Simon Lüders, Suguna Subramanian, Stephen Schmitt, Wolfgang Rosenstiel |
SySifoS: SystemC simulator for sensor and communication systems. |
Mobility Conference |
2009 |
DBLP DOI BibTeX RDF |
short range communication, sensor networks, pervasive computing, wireless communication, network simulation, indoor localization |
15 | Jin-wei Liu, Si-jia Huo, Zhangqin Huang, Yibin Hou, Jin-jia Wang |
Design of the Performance Evaluation Library for Speech Recognition Systems Based on SystemC. |
ICIC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Kota Solomon Raju, Jagdish Lal Raheja, Ashutosh Gupta 0002, Archana Rathi, Shashikant Sharma |
Principal Component Analysis for Gesture Recognition Using SystemC. |
ARTCom |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Marius Monton, Jakob Engblom, Mark Burton |
Checkpoint and Restore for SystemC models. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Yaseen Zaidi, Christoph Grimm 0001, Jan Haase 0001 |
Fast and unified SystemC AMS - HDL simulation. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Luis Gabriel Murillo, Marcello Mura, Mauro Prevostini |
Semi-automated Hw/Sw Co-design for embedded systems: from MARTE models to SystemC simulators. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Jun Ye, Tun Li, QingPing Tan |
The application of Aspectual Feature Module in the development and verification of SystemC models. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Massimo Conti, Giovanni B. Vece, Sara Colazilli |
Extension of SystemC framework towards power analysis. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Maxim Smirnov, Andres Takach |
A SystemC superset for high-level synthesis. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Fernando Herrera, Eugenio Villar |
Local application of simulation directed for Exhaustive Coverage of Schedulings of SystemC specifications. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Hans-Peter Löb, Christian Sauer 0001 |
Exploration of embedded memories in SoCs using SystemC-based functional performance models. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler |
SMT-based stimuli generation in the SystemC Verification library. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Adán Kohler, Martin Radetzki |
A SystemC TLM2 model of communication in wormhole switched Networks-On-Chip. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Rami Khouri, Benjamin Nicolle, Lucas Alves Da Silva, William Tatinian, Gilles Jacquemod |
Evaluation of SystemC-AMS modeling capabilities of RF front-end non-linearities: satellite receiver case study. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Jan Haase 0001, Markus Damm, Johann Glaser, Javier Moreno 0003, Christoph Grimm 0001 |
SystemC-based power simulation of wireless sensor networks. |
FDL |
2009 |
DBLP BibTeX RDF |
|
15 | Zi-Yu Hao, Lei Qian, Hong-Liang Li, Xianghui Xie 0001, Kun Zhang |
A Parallel SystemC Environment: ArchSC. |
ICPADS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Karsten Einwich, Christoph Grimm 0001, Martin Barnasconi, Alain Vachoux |
Introduction to the SystemC AMS DRAFT standard. |
SoCC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Philipp A. Hartmann, Philipp Reinkemeier, Achim Rettberg, Wolfgang Nebel |
Modelling control systems in SystemC AMS - Benefits and limitations. |
SoCC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Zhu Zhou, Dharmin Parikh, Pradnyesh Gudadhe, Arunabha Sen |
A novel mechanism to dynamically switch speed and accuracy in systemC based transaction level models. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
architectural, performance modeling, functional modeling |
15 | Torsten Mähne, Alain Vachoux |
Supporting dimensional analysis in SystemC-AMS. |
BMAS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hans-Peter Kreuter, Vladimír Kosel, Michael Glavanovics, Robert Illing |
System level modeling of smart power switches using SystemC-AMS for digital protection concept verification. |
BMAS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Kraemer, Rainer Leupers, Dietmar Petras, Thomas Philipp |
A checkpoint/restore framework for systemc-based virtual platforms. |
SoC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Varona-Gomez, Eugenio Villar |
AADL Simulation and Performance Analysis in SystemC. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Gigli, Massimo Conti |
A SystemC platform for Network-on-Chip performance/power evaluation and comparison. |
WISES |
2009 |
DBLP BibTeX RDF |
|
15 | Giovanni B. Vece, Massimo Conti |
Power estimation in embedded systems within a SystemC-based design context: The PKtool environment. |
WISES |
2009 |
DBLP BibTeX RDF |
|
15 | Christian Kerstan |
Effiziente Bewertung von Videoarchitekturen mit SystemC. |
|
2009 |
RDF |
|
15 | Deepak Mathaikutty, Sandeep K. Shukla |
Mining metadata for composability of IPs from SystemC IP library. |
Des. Autom. Embed. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sami Boukhechem, El-Bay Bourennane |
SystemC Transaction-Level Modeling of an MPSoC Platform Based on an Open Source ISS by Using Interprocess Communication. |
Int. J. Reconfigurable Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Johan Ditmar, Steve McKeever, Alex Wilson |
Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation. |
Int. J. Reconfigurable Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Tim Kogel, Malte Doerper, Torsten Kempf, Andreas Wieferink, Rainer Leupers, Heinrich Meyr |
Virtual architecture mapping: a SystemC based methodology for architectural exploration of System-on-Chips. |
Int. J. Embed. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Markus Damm, Jan Haase 0001, Christoph Grimm 0001, Fernando Herrera, Eugenio Villar |
Bridging MoCs in SystemC Specifications of Heterogeneous Systems. |
EURASIP J. Embed. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hiren D. Patel, Sandeep K. Shukla |
Model-Driven Validation of SystemC Designs. |
EURASIP J. Embed. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Simone Orcioni, Mauro Ballicchia, Giorgio Biagetti, Rocco D. d'Aparo, Massimo Conti |
System Level Modelling of RF IC in SystemC-WMS. |
EURASIP J. Embed. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Per Andersson, Kari Tiensyrjä |
Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems. |
EURASIP J. Embed. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Silvio Misera, Heinrich Theodor Vierhaus, André Sieber |
Simulated fault injections and their acceleration in SystemC. |
Microprocess. Microsystems |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ali Ahmadinia, Balal Ahmad, Ahmet T. Erdogan, Tughrul Arslan |
SystemC-based Custom Reconfigurable Cores for Wireless Applications. |
ERSA |
2008 |
DBLP BibTeX RDF |
|
15 | Hugo Lebreton, Pascal Vivet |
Power Modeling in SystemC at Transaction Level, Application to a DVFS Architecture. |
ISVLSI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Eugenio Villar, Axel Jantsch, Christoph Grimm 0001, Tim Kogel |
Heterogeneous System-level Specification Using SystemC. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kim Grüttner, Frank Oppenheimer, Wolfgang Nebel, Fabien Colas-Bigey, Anne-Marie Fouilliart |
SystemC-based Modelling, Seamless Refinement, and Synthesis of a JPEG 2000 Decoder. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Henning Zabel, Wolfgang Müller 0003 |
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. |
MBMV |
2008 |
DBLP BibTeX RDF |
|
15 | Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich |
Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. |
MBMV |
2008 |
DBLP BibTeX RDF |
|
15 | Michael Vogel, Mario Schölzel |
Automatic Generation of Cycle Accurate SystemC Models for Application Specific Clustered VLIW Processors. |
MBMV |
2008 |
DBLP BibTeX RDF |
|
15 | Kun-Chun Chang, Yi-Chinag Wang, Chung-Hsien Hsu, Kuen-Long Leu, Yung-Yuan Chen |
System-Bus Fault Injection Framework in SystemC Design Platform. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yan Basile-Bellavance, Etienne Lepercq, Yves Blaquière, Yvon Savaria |
Hardware/software system co-verification of an active reconfigurable board with SystemC-VHDL. |
ICECS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jeongwoo Park, Bongchun Lee, Kyu-sam Lim, Jeong Hun Kim, Suki Kim, Kwang-Hyun Baek |
Co-simulation of SystemC TLM with RTL HDL for surveillance camera system verification. |
ICECS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hossein Hojjat, Mohammad Reza Mousavi 0001, Marjan Sirjani |
Process algebraic verification of SystemC codes. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani |
An effective approach for model checking SystemC designs. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Woo Sik Kim, Hyun Ah Kim, Jin-Ho Ahn, Byung In Moon |
System-Level Development and Verification of the FlexRay Communication Controller Model Based on SystemC. |
FGCN (2) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Markwirth, Joachim Haase, Karsten Einwich |
Statistical Modeling with SystemC-AMS for Automotive Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jens Gladigau, Christian Haubelt, Jürgen Teich |
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Franco Fummi, Davide Quaglia, Francesco Stefanni |
A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
An Advanced Simulink Verification Flow Using SystemC. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ken Caluwaerts, Dimitri Galayko |
Heterogeneous and Non-linear Modeling in SystemC-AMS. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Raabe, Armin Felke |
A SystemC Language Extension for High-Level Reconfiguration Modelling. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kim Grüttner, Wolfgang Nebel |
Modelling Program-State Machines in SystemC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä |
Application Workload and SystemC Platform Modeling for Performance Evaluation. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ken Caluwaerts, Dimitri Galayko |
SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Stefanni, Davide Quaglia, Franco Fummi |
SystemC Simulation of Networked Embedded Systems. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
Using SystemC for an Extended MATLAB/Simulink Verification Flow. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Markus Damm, Christoph Grimm 0001, Jan Haase 0001, Andreas Herrholz, Wolfgang Nebel |
Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Raabe, Armin Felke |
High-Level Reconfiguration Modeling in SystemC. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Grellier |
Extending SystemC Clocks to Model SoC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Philipp A. Hartmann, Henning Kleen, Philipp Reinkemeier, Wolfgang Nebel |
Efficient Modelling and Simulation of Embedded Software Multi-Tasking using SystemC and OSSS. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Joaquín Pérez, Juan F. Sevillano, Santiago Urcelayeta, Igone Vélez |
System Behaviour Capture: from UML to SystemC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jens Gladigau, Christian Haubelt, Jürgen Teich |
Symbolic Scheduling of SystemC Dataflow Designs. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
Specification of Adaptive HW/SW Systems in SystemC. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Philipp A. Hartmann, Philipp Reinkemeier, Henning Kleen, Wolfgang Nebel |
Modeling of Embedded Software Multitasking in SystemC/OSSS. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Susan Xu, Hugh Pollitt-Smith |
A Multi-MicroBlaze Based SOC System: From SystemC Modeling to FPGA Prototyping. |
IEEE International Workshop on Rapid System Prototyping |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Tomi Metsälä, Tomi Westerlund, Seppo Virtanen, Juha Plosila |
Rigorous Communication Modelling at Transaction Level With Systemc. |
ICSOFT (SE/MUSE/GSDCA) |
2008 |
DBLP BibTeX RDF |
|
15 | Rishad A. Shafik, Paul M. Rosinger, Bashir M. Al-Hashimi |
SystemC-Based Minimum Intrusive Fault Injection Technique with Improved Fault Representation. |
IOLTS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sami Boukhechem, El-Bay Bourennane |
TLM Platform Based on SystemC for STARSoC Design Space Exploration. |
AHS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ali Ahmadinia, Balal Ahmad, Ahmet T. Erdogan, Tughrul Arslan |
SystemC-based Reconfigurable IP Modelling for System-on-Chip Design. |
AHS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Linda Kaouane, Dominique Houzet, Sylvain Huet |
SysCellC: SystemC on Cell. |
ICCSA Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Combes, Eddy Caron, Frédéric Desprez, Bastien Chopard, Julien Zory |
Relaxing Synchronization in a Parallel SystemC Kernel. |
ISPA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ken Caluwaerts, Dimitri Galayko, Philippe Basset |
SystemC-AMS Heterogeneous Modeling of a Capacitive Harvester of Vibration Energy. |
BMAS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Claude Helmstetter, Vania Joloboff |
SimSoC: A SystemC TLM integrated ISS for full system simulation. |
APCCAS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Klingauf |
Systematic transaction level communication modeling with systemC. |
|
2008 |
RDF |
|
15 | Andreas Raabe |
Describing and simulating dynamic reconfiguration in systemC exemplified by a dedicated 3D collision detection hardware. |
|
2008 |
RDF |
|
15 | Axel G. Braun |
Simulative Analyse und Bewertung des Performanzverhaltens von System-on-Chip-Entwürfen auf der Grundlage von abstrakten SystemC-Modellen. |
|
2008 |
RDF |
|
15 | Sören Sonntag, Matthias Gries, Christian Sauer 0001 |
SystemQ: Bridging the gap between queuing-based performance evaluation and SystemC. |
Des. Autom. Embed. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|