Search results for "SystemC"

Hits ?▲	Authors	Title	Venue	Year	Link
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