Search results for "SystemC"

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