Search results for "systemC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	Hiren D. Patel, Sandeep K. Shukla	Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	simulation efficiency, synchronous data flow, heterogeneous, SystemC, models of computation, embedded system design
99	Daniel Gracia Pérez, Gilles Mouchard, Olivier Temam	A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling.	DATE	2004	DBLP DOI BibTeX RDF
96	P. Ezudheen, Priya Chandran, Joy Chandra, Biju Puthur Simon, Deepak Ravi	Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines.	PADS	2009	DBLP DOI BibTeX RDF	OSCI, Core affinity, SoC, SystemC, SMP, TLM
95	Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil	A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
89	Hiren D. Patel, Sandeep K. Shukla	Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
87	Scott Sirowy, Chen Huang 0005, Frank Vahid	Online SystemC emulation acceleration.	DAC	2010	DBLP DOI BibTeX RDF	simulation, virtual machines, online algorithms, emulation, SystemC, bytecode
87	Scott Sirowy, Bailey Miller, Frank Vahid	Portable SystemC-on-a-chip.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	simulation, virtual machines, emulation, SystemC, bytecode, spatial computing
80	Hiren D. Patel, Sandeep K. Shukla	Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL.	DATE	2007	DBLP DOI BibTeX RDF
80	Ali Habibi, Sofiène Tahar	Design and verification of SystemC transaction-level models.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
80	Hiren D. Patel, Sandeep K. Shukla	Towards a Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models.	ISVLSI	2004	DBLP DOI BibTeX RDF
78	Vicente Galiano Ibarra, Héctor Migallón Gomis, David Pérez-Caparrós, Marcos Martínez	Distributing SystemC structures in parallel simulations.	SpringSim	2009	DBLP DOI BibTeX RDF	parallel architecture, MPI, boost, SystemC, DES, hardware modeling
78	Paula Herber, Joachim Fellmuth, Sabine Glesner	Model checking SystemC designs using timed automata.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	model checking, timed automata, SystemC
78	Fernando Herrera, Eugenio Villar	A framework for heterogeneous specification and design of electronic embedded systems in SystemC.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	SystemC, models of computation, Heterogeneous specification
71	Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal	Formal and executable contracts for transaction-level modeling in SystemC.	EMSOFT	2009	DBLP DOI BibTeX RDF	formal component models, systems-on-a-chip, virtual prototyping, transaction-level-modeling
71	Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens	SC2SCFL: Automated SystemC to SystemCFL Translation.	SAMOS	2007	DBLP DOI BibTeX RDF
71	Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi	A SystemC/TLM Semantics in Promelaand Its Possible Applications.	SPIN	2007	DBLP DOI BibTeX RDF
71	Moshe Y. Vardi	Formal Techniques for SystemC Verification; Position Paper.	DAC	2007	DBLP DOI BibTeX RDF
71	Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto	SystemC: a homogenous environment to test embedded systems.	CODES	2001	DBLP DOI BibTeX RDF	C++ models, embedded systems verification, functional testing
68	Vicente Galiano Ibarra, Marcos Martínez, Héctor Migallón Gomis, David Pérez-Caparrós, Carlos Quesada	A Case Study in Distributing a SystemC Model.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Distributed Systems, MPI, SystemC, PLC, Serialization, TLM, PDES
68	Alper Sen 0001, Vinit Ogale, Magdy S. Abadir	Predictive runtime verification of multi-processor SoCs in SystemC.	DAC	2008	DBLP DOI BibTeX RDF	predictive verification, deadlock, SystemC, assertion, ESL
68	Husni Teja Sukmana, Jeong-Bae Lee, Jong-Il Kim, Young J. Jung, Jin B. Kwon, Kee-Wook Rim, Young-Ran Lee	A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine.	SEUS	2007	DBLP DOI BibTeX RDF	RapidPLUS, Simulation, Embedded System, SystemC, virtual prototyping, Socket
68	Sang-Young Cho, Yoojin Chung, Jung-Bae Lee	Virtual Development Environment Based on SystemC for Embedded Systems.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Virtual development environment, Embedded system development, Remote debug interface, Hardware simulation, SystemC
68	Ankush Varma, Muhammad Yaqub Afridi, Akin Akturk, Paul Klein, Allen R. Hefner, Bruce L. Jacob	Modeling heterogeneous SoCs with SystemC: a digital/MEMS case study.	CASES	2006	DBLP DOI BibTeX RDF	gas sensor, microhotplate, modeling, power, SystemC, MEMS
67	Franco Carbognani, Christopher K. Lennard, C. Norris Ip, Allan Cochrane, Paul Bates	Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard.	DATE	2003	DBLP DOI BibTeX RDF
66	Daniel Große, Rüdiger Ebendt, Rolf Drechsler	Improvements for constraint solving in the systemc verification library.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	constraint-based randomization, systemC verification library, systemC
65	Hiren D. Patel, Sandeep K. Shukla	On Cosimulating Multiple Abstraction-Level System-Level Models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
61	Michel Vasilevski, François Pêcheux, Nicolas Beilleau, Hassan Aboushady, Karsten Einwich	Modeling and Refining Heterogeneous Systems With SystemC-AMS: Application to WSN.	DATE	2008	DBLP DOI BibTeX RDF
61	Silvio Misera, Heinrich Theodor Vierhaus, André Sieber	Fault Injection Techniques and their Accelerated Simulation in SystemC.	DSD	2007	DBLP DOI BibTeX RDF
61	Christian Genz, Rolf Drechsler	System Exploration of SystemC Designs.	ISVLSI	2006	DBLP DOI BibTeX RDF
61	Daniel Große, Rolf Drechsler	Checkers for SystemC designs.	MEMOCODE	2004	DBLP DOI BibTeX RDF
61	Yan Chen, Xuan Du, Xuegong Zhou, Chenglian Peng	An Automatic Coverage Analysis for SystemC Using UML and Aspect-Oriented Technology.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
61	Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong	Model-Driven SoC Design via Executable UML to SystemC.	RTSS	2004	DBLP DOI BibTeX RDF
61	Ali Sayinta, Gorkem Canverdi, Marc Pauwels, Amer Alshawa, Wim Dehaene	A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification.	DATE	2003	DBLP DOI BibTeX RDF
59	Peter Lisherness, Kwang-Ting (Tim) Cheng	SCEMIT: a systemc error and mutation injection tool.	DAC	2010	DBLP DOI BibTeX RDF	high-level synthesis, coverage, SystemC, mutation
59	Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig	Automatic generation of systemc models from component-based designs for early design validation and performance analysis.	WOSP	2008	DBLP DOI BibTeX RDF	cola, simulation, code generation, systemc
59	Vicente Galiano Ibarra, Héctor Migallón Gomis, David Pérez-Caparrós, Juan Alejandro Palomino Benito, Marcos Martínez	Speeding Up in Distributed SystemC Simulations.	DCAI	2008	DBLP DOI BibTeX RDF	MPI, SoC, Distributed Simulation, SystemC, RTL
59	Niloofar Razavi, Marjan Sirjani	Compositional Semantics of System-Level Designs Written in SystemC.	FSEN	2007	DBLP DOI BibTeX RDF	formal verification, SystemC, hardware design, Reo, constraint automata
59	Ivan Radojevic, Zoran A. Salcic, Partha S. Roop	Modeling Embedded Systems: From SystemC and Esterel to DFCharts.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	models of computation (MoC), specification, SystemC, heterogeneous systems, Esterel
59	Fernando Herrera, Eugenio Villar	A framework for embedded system specification under different models of computation in SystemC.	DAC	2006	DBLP DOI BibTeX RDF	SystemC, heterogeneous specification
59	Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz	Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip.	EMSOFT	2005	DBLP DOI BibTeX RDF	dynamic, SystemC, parser, static, front-end, elaboration
59	Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio	A UML 2.0 profile for SystemC: toward high-level SoC design.	EMSOFT	2005	DBLP DOI BibTeX RDF	model-driven system on chip design, UML, embedded systems, SystemC, UML profiles
59	Djones Lettnin, Axel G. Braun, Martin Bogdan, Joachim Gerlach, Wolfgang Rosenstiel	Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks.	DATE	2004	DBLP DOI BibTeX RDF	SystemC Synthesis, Hardware Neural Network (HNN), Embedded Systems, Rapid Prototyping, Electrocardiogram (ECG), Digital System Design
59	Jannis Stoppe	SystemC Through the Looking Glass: Non-Intrusive Analysis of Electronic System Level Designs in SystemC (SystemC hinter den Spiegeln: Nichtinvasive Analyse von SystemC-Systemdesigns)		2017	RDF
56	Huibiao Zhu, Yongxin Zhao, Jifeng He 0001	Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
56	Shu-Hsuan Chou, Chi-Neng Wen, Yan-Ling Liu, Tien-Fu Chen	VeriC: A semi-hardware description language to bridge the gap between ESL design and RTL models.	ISQED	2009	DBLP DOI BibTeX RDF
52	Claude Helmstetter, Olivier Ponsini	A Comparison of Two SystemC/TLM Semantics for Formal Verification.	MEMOCODE	2008	DBLP DOI BibTeX RDF
52	Olivier Ponsini, Wendelin Serwe	A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.	FM	2008	DBLP DOI BibTeX RDF
52	Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou 0001	Low-Power Optimization by Smart Bit-Width Allocation in a SystemC-Based ASIC Design Environment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
52	Youssef N. Naguib, Rafik S. Guindi	Speeding up SystemC simulation through process splitting.	DATE	2007	DBLP DOI BibTeX RDF
52	Lochi Yu, Samar Abdi	Automatic SystemC TLM generation for custom communication platforms.	ICCD	2007	DBLP DOI BibTeX RDF
52	Ali Habibi, Haja Moinudeen, Sofiène Tahar	Generating finite state machines from SystemC.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
52	Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou 0001	Smart bit-width allocation for low power optimization in a systemc based ASIC design environment.	DATE	2006	DBLP DOI BibTeX RDF
52	Ying Wang 0032, Xuegong Zhou, Bo Zhou, Liang Liang, Chenglian Peng	A MDA based SoC Modeling Approach using UML and SystemC.	CIT	2006	DBLP DOI BibTeX RDF
52	Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio	A SoC Design Methodology Involving a UML 2.0 Profile for SystemC.	DATE	2005	DBLP DOI BibTeX RDF
52	Xi Chen, Jianhua Lu, Zucheng Zhou, YaoHui Shang	Modeling SystemC design in UML and automatic code generation.	ASP-DAC	2005	DBLP DOI BibTeX RDF
52	Ali Habibi, Sofiène Tahar	An Approach for the Verification of SystemC Designs Using AsmL.	ATVA	2005	DBLP DOI BibTeX RDF
52	Hye-On Jang, Minsoo Kang, Myeong-jin Lee, Kwanyeob Chae, Kookpyo Lee, Kyuhyun Shim	High-Level System Modeling and Architecture Exploration with SystemC on a Network SoC: S3C2510 Case Study.	DATE	2004	DBLP DOI BibTeX RDF
52	Elvinia Riccobene, Patrizia Scandurra	Modelling SystemC Process Behavior by the UML Method State Machines.	RISE	2004	DBLP DOI BibTeX RDF
52	Massimo Bombana, Francesco Bruschi	SystemC-VHDL Co-Simulation and Synthesis in the HW Domain.	DATE	2003	DBLP DOI BibTeX RDF
50	Marcello Mura, Marco Paolieri, Luca Negri, Mariagiovanna Sami	StateCharts to systemc: a high level hardware simulation approach.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	simulators, StateCharts, systemC
50	Stuart Swan	SystemC transaction level models and RTL verification.	DAC	2006	DBLP DOI BibTeX RDF	RTL verification, hardware/software co-verification, systemC, hardware/software co-design, transaction level model, TLM
50	Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto	A Framework for the Functional Verification of SystemC Models.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	SystemC, test pattern generator, Functional verification
50	Nagu R. Dhanwada, Ing-Chao Lin, Vijaykrishnan Narayanan	A power estimation methodology for systemC transaction level models.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	CoreConnect, systemC, power analysis, transaction level models, PowerPC
50	Ney Laert Vilar Calazans, Edson I. Moreno, Fabiano Hessel, Vitor M. da Rosa, Fernando Moraes 0001, Everton Carara	From VHDL Register Transfer Level to SystemC Transaction Level Modeling: A Comparative Case Study.	SBCCI	2003	DBLP DOI BibTeX RDF	transaction level, VHDL, SystemC, System modeling, register transfer level
50	Eike Grimpe, Frank Oppenheimer	Extending the SystemC synthesis subset by object-oriented features.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	C/C++ based design, object-orientation, high-level synthesis, SystemC, system level design, hardware description language, hardware synthesis
47	Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra	Process State Machines for Behavioral Modeling of Embedded Systems.	SIES	2007	DBLP DOI BibTeX RDF
47	Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz	LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level.	ACSD	2005	DBLP DOI BibTeX RDF
44	Zhonglei Wang, Andreas Herkersdorf, Wolfgang Haberl, Martin Wechs	SysCOLA: a framework for co-development of automotive software and system platform.	DAC	2009	DBLP DOI BibTeX RDF	COLA, SystemC, system modeling, virtual prototyping
44	Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren	UML for ESL design: basic principles, tools, and applications.	ICCAD	2006	DBLP DOI BibTeX RDF	simulation, UML, SoC, tools, profiles, SystemC, ESL design
44	Jinwen Xi, Peixin Zhong	A Transaction-Level NoC Simulation Platform with Architecture-Level Dynamic and Leakage Energy Models.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	network-on-chip, SystemC, energy model
44	Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano C. de Araújo, Edna Barros	The ArchC Architecture Description Language and Tools.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	ISA simulator, Architecture description language, SystemC, compiled simulation
43	Nicolas Blanc, Daniel Kroening	Speeding Up Simulation of SystemC Using Model Checking.	SBMF	2009	DBLP DOI BibTeX RDF
43	Laurence Pierre, Luca Ferro	A Tractable and Fast Method for Monitoring SystemC TLM Specifications.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
43	Kai Huang 0001, Iuliana Bacivarov, Fabian Hugelshofer, Lothar Thiele	Scalably distributed SystemC simulation for embedded applications.	SIES	2008	DBLP DOI BibTeX RDF
43	Nicolas Blanc, Daniel Kroening	Race analysis for SystemC using model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
43	Nicolas Blanc, Daniel Kroening, Natasha Sharygina	Scoot: A Tool for the Analysis of SystemC Models.	TACAS	2008	DBLP DOI BibTeX RDF
43	Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman	A Temporal Language for SystemC.	FMCAD	2008	DBLP DOI BibTeX RDF
43	Sudipta Kundu, Malay K. Ganai, Rajesh Gupta 0001	Partial order reduction for scalable testing of systemC TLM designs.	DAC	2008	DBLP DOI BibTeX RDF	simulation, verification, testing, partial-order reduction
43	Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi	Heterogeneous Behavioral Hierarchy Extensions for SystemC.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
43	Cedric Koch-Hofer, Marc Renaudin, Yvain Thonnart, Pascal Vivet	ASC, a SystemC Extension for Modeling Asynchronous Systems, and Its Application to an Asynchronous NoC.	NOCS	2007	DBLP DOI BibTeX RDF
43	Bruno C. Albertini, Sandro Rigo, Guido Araujo, Cristiano C. de Araújo, Edna Barros, Willians Azevedo	A computational reflection mechanism to support platform debugging in SystemC.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	debugging, system architecture, platform-based design, computational reflection
43	Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi 0001, Rajesh K. Gupta 0001	Reactivity in SystemC Transaction-Level Models.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
43	Christian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard	Visualization of SystemC Designs.	ISCAS	2007	DBLP DOI BibTeX RDF
43	Hiren D. Patel, Sandeep K. Shukla	Model-driven Validation of SystemC Designs.	DAC	2007	DBLP DOI BibTeX RDF
43	Bishnupriya Bhattacharya, John Rose, Stuart Swan	Language Extensions to SystemC: Process Control Constructs.	DAC	2007	DBLP DOI BibTeX RDF
43	Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar	Towards a Faster Simulation of SystemC Designs.	ISVLSI	2006	DBLP DOI BibTeX RDF
43	Silvio Misera, Heinrich Theodor Vierhaus, Lars Breitenfeld, André Sieber	A Mixed Language Fault Simulation of VHDL and SystemC.	DSD	2006	DBLP DOI BibTeX RDF
43	Hector Posadas, Jesús Ádamez, Pablo Sánchez, Eugenio Villar, Francisco Blasco	POSIX modeling in SystemC.	ASP-DAC	2006	DBLP DOI BibTeX RDF
43	Ozgur Tamer, Ahmet Özkurt	Systolic Array Based Adaptive Beamformer Modeling in SystemC Environment.	AHS	2006	DBLP DOI BibTeX RDF
43	Ali Habibi, Sofiène Tahar	Design for Verification of SystemC Transaction Level Models.	DATE	2005	DBLP DOI BibTeX RDF
43	Nick Savoiu	MTP: A Petri Net-Based Framework for the Analysis and Transformation of SystemC Designs.	SCOPES	2005	DBLP DOI BibTeX RDF
43	Robert D. Walstrom, Joseph Schneider, Diane T. Rover	Teaching System-Level Design Using SpecC and SystemC.	MSE	2005	DBLP DOI BibTeX RDF
43	Rolf Drechsler, Görschwin Fey, Christian Genz, Daniel Große	SyCE: An Integrated Environment for System Design in SystemC.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
43	Alain Vachoux, Christoph Grimm 0001, Karsten Einwich	Extending SystemC to support mixed discrete-continuous system modeling and simulation.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
43	Daniel Große, Rolf Drechsler	CheckSyC: an efficient property checker for RTL SystemC designs.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
43	Thorsten Schubert, Jürgen Hanisch, Joachim Gerlach, Jens-E. Appell, Wolfgang Nebel	Evaluation of a Refinement-Driven SystemC'-Based Design Flow.	DATE	2004	DBLP DOI BibTeX RDF
43	Donatella Sciuto, Grant Martin, Wolfgang Rosenstiel, Stuart Swan, Frank Ghenassia, Peter Flake, Johny Srouji	SystemC and SystemVerilog: Where do They Fit? Where are They Going?	DATE	2004	DBLP DOI BibTeX RDF
43	Luca Formaggio, Franco Fummi, Graziano Pravadelli	A timing-accurate HW/SW co-simulation of an ISS with SystemC.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	co-simulation, system level modeling
43	Camel Tanougast, Yves Berviller, Christian Mannino, Hassan Rabah, Michael Janiaut, Serge Weber	SystemC Model of a MPEG-2 DVB-T Bit-Rate Measurement Architecture for FPGA Implementation.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
43	Sandro Rigo, Guido Araujo, Marcus Bartholomeu, Rodolfo Azevedo	ArchC: A SystemC-Based Architecture Description Language.	SBAC-PAD	2004	DBLP DOI BibTeX RDF