Search results for "SystemC"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia	Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.	J. Electron. Test.	2015	DBLP DOI BibTeX RDF
15	Van Chan Ngo, Axel Legay, Jean Quilbeuf	Dependability Analysis of Control Systems using SystemC and Statistical Model Checking.	CoRR	2015	DBLP BibTeX RDF
15	Martin Barnasconi, Manfred Dietrich, Karsten Einwich, Thilo Vörtler, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Zhi Wang 0005, Philippe Cuenot, Ingmar Neumann, Thang Nguyen 0007, Ronan Lucas, Emmanuel Vaumorin	UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases.	IEEE Des. Test	2015	DBLP DOI BibTeX RDF
15	Dominik Macko, Katarína Jelemenská, Pavel Cicák	Power-Management Specification in SystemC.	DDECS	2015	DBLP DOI BibTeX RDF
15	Mikhail Glukhikh, Mikhail J. Moiseev	Fast Simulation of SystemC Synthesizable Subset.	DDECS	2015	DBLP DOI BibTeX RDF
15	Syed Saif Abrar, Maksim Jenihhin, Jaan Raik	SystemC-Based Loose Models for Simulation Speed-Up by Abstraction of RTL IP Cores.	DDECS	2015	DBLP DOI BibTeX RDF
15	Shu-Juan Yin, Xiang Yu Li, Han Li	Modeling the Data Flow Application Specific Integrated Circuit with SystemC.	FSDM	2015	DBLP DOI BibTeX RDF
15	Efstathios Sotiriou-Xanthopoulos, Shalina Percy Delicia, Peter Figuli, Kostas Siozios, George Economakos, Jürgen Becker 0001	A power estimation technique for cycle-accurate higher-abstraction SystemC-based CPU models.	SAMOS	2015	DBLP DOI BibTeX RDF
15	Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid	Parallel SystemC simulation for ESL design using flexible time decoupling.	SAMOS	2015	DBLP DOI BibTeX RDF
15	Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers, Twan Basten	Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study.	SAMOS	2015	DBLP DOI BibTeX RDF
15	Jan Wagner, Rolf Meyer, Rainer Buchty, Mladen Berekovic	A scriptable, standards-compliant reporting and logging extension for SystemC.	SAMOS	2015	DBLP DOI BibTeX RDF
15	Kiki Wirianto, Amir Zjajo, Carlo Galuzzi, Rene van Leuken 0001	Multi-Domain SystemC model of 128-channel time-multiplexed neural interface front-end.	SAMOS	2015	DBLP DOI BibTeX RDF
15	Cédric Ben Aoun, Liliana Andrade, Torsten Mähne, François Pêcheux, Marie-Minerve Louërat, Alain Vachoux	Pre-simulation elaboration of heterogeneous systems: The SystemC multi-disciplinary virtual prototyping approach.	SAMOS	2015	DBLP DOI BibTeX RDF
15	Hanan Tawfik, Mona Safar, Mohamed Abdel Salam, M. Watheq El-Kharashi, Ashraf Salem	Toward the interfacing of systemC-AMS models with hardware-emulated platforms.	IDT	2015	DBLP DOI BibTeX RDF
15	Maxim Petrov, Kirill Gagarski, Mikhail J. Moiseev	Automatic transformation of SystemC designs to speed up simulation.	EWDTS	2015	DBLP DOI BibTeX RDF
15	Fabien Teysseyre, David Navarro, Ian O'Connor, Francesco Cascio, Fabio Cenni, Olivier Guillaume	Fast optical simulation from a reduced set of impulse responses using SystemC-AMS.	DATE	2015	DBLP BibTeX RDF
15	Jannis Stoppe, Robert Wille, Rolf Drechsler	Automated feature localization for dynamically generated SystemC designs.	DATE	2015	DBLP BibTeX RDF
15	Moisés Urbina, Zaher Owda, Roman Obermaisser	Simulation Environment Based on SystemC and VEOS for Multi-core Processors with Virtual AUTOSAR ECUs.	CIT/IUCC/DASC/PICom	2015	DBLP DOI BibTeX RDF
15	Paula Herber, Marcel Pockrandt, Sabine Glesner	STATE - A SystemC to Timed Automata Transformation Engine.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
15	Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid	Modeling Exclusive Memory Access for a Time-Decoupled Parallel SystemC Simulator.	SCOPES	2015	DBLP DOI BibTeX RDF
15	Diego Stéfano Fonseca Ferreira, Augusto Loureiro da Costa, André Gustavo Scolari Conceição	A SystemC Model of a Low-Level Inference Engine for Symbolic Reasoning in Cognitive Agents*.	SyRoCo	2015	DBLP DOI BibTeX RDF
15	Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel	Advanced SystemC Tracing and Analysis Framework for Extra-Functional Properties.	ARC	2015	DBLP DOI BibTeX RDF
15	Lydia Jaß, Paula Herber	Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving.	IESS	2015	DBLP DOI BibTeX RDF
15	Asad Khan, Weiqiang Ma, Chris Wolf, Bengt Werner	Multi-Threaded Simics SystemC Virtual Platform.	ICCAD	2015	DBLP DOI BibTeX RDF
15	Wei Zuo, Warren Kemmerer, Jong Bin Lim, Louis-Noël Pouchet, Andrey Ayupov, Taemin Kim, Kyungtae Han, Deming Chen	A Polyhedral-based SystemC Modeling and Generation Framework for Effective Low-power Design Space Exploration.	ICCAD	2015	DBLP DOI BibTeX RDF
15	Michel Vasilevski, E. Queiroz, A. L. Fonseca, Ivanovitch Silva, Sebastian Yuri Cavalcanti Catunda, Luiz Affonso Guedes	SystemC AMS modeling of a sensor node energy consumption and battery state-of-charge for WSN.	NEWCAS	2015	DBLP DOI BibTeX RDF
15	Sara Vinco, Michele Lora, Mark Zwolinski	Conservative behavioural modelling in systemc-AMS.	FDL	2015	DBLP DOI BibTeX RDF
15	Denis Becker, Matthieu Moy, Jérôme Cornet	Challenges for the parallelization of loosely timed SystemC programs.	RSP	2015	DBLP DOI BibTeX RDF
15	Rosario Distefano, Franco Fummi, Carlo Laudanna, Nicola Bombieri, Rosalba Giugno	A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology.	ACM Great Lakes Symposium on VLSI	2015	DBLP DOI BibTeX RDF
15	Yunzhong Zhu, Tao Li, Jingpeng Guo, Haiyang Zhou, Fangfa Fu	A novel low-cost interface design for SystemC and SystemVerilog Co-simulation.	ASICON	2015	DBLP DOI BibTeX RDF
15	Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm 0001	Towards formal validation: Symbolic simulation of SystemC models.	DTIS	2015	DBLP DOI BibTeX RDF
15	Mehdi Sedighi, Foroogh Haddadi, Samaneh Emami, Mahya Saffarpour	A heuristic algorithm for high level synthesis of decimal arithmetic circuits using SystemC.	DTIS	2015	DBLP DOI BibTeX RDF
15	Vladimir Herdt, Hoang Minh Le 0001, Rolf Drechsler	Verifying SystemC using stateful symbolic simulation.	DAC	2015	DBLP DOI BibTeX RDF
15	Cristiano Scavongelli, Franco Francesco, Simone Orcioni, Massimo Conti	Battery management system simulation using SystemC.	WISES	2015	DBLP BibTeX RDF
15	Christoph Schumacher	Construction of parallel and distributed SystemC simulators.		2015	RDF
15	Benjamin Carrión Schäfer, Anushree Mahapatra	S2CBench: Synthesizable SystemC Benchmark Suite for High-Level Synthesis.	IEEE Embed. Syst. Lett.	2014	DBLP DOI BibTeX RDF
15	Giorgio Biagetti, Marco Giammarini, Mauro Ballicchia, Massimo Conti, Simone Orcioni	SystemC-WMS: wave mixed signal simulator for non-linear heterogeneous systems.	Int. J. Embed. Syst.	2014	DBLP DOI BibTeX RDF
15	Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg	A program state machine based virtual processing model in SystemC.	SIGBED Rev.	2014	DBLP DOI BibTeX RDF
15	Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli	Testbench Qualification of SystemC TLM Protocols through Mutation Analysis.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
15	Tiago Rogério Mück, Antônio Augusto Fröhlich	Aspect-oriented RTL HW design using SystemC.	Microprocess. Microsystems	2014	DBLP DOI BibTeX RDF
15	Ed Harcourt, James T. Perconti	A SystemC library for specifying pipeline abstractions.	Microprocess. Microsystems	2014	DBLP DOI BibTeX RDF
15	Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid, Laura Tosoratto, Alessandro Lonardo, Dietmar Petras, Andreas Hoffmann 0002	legaSCi: Legacy SystemC Model Integration into Parallel Simulators.	ACM Trans. Embed. Comput. Syst.	2014	DBLP DOI BibTeX RDF
15	Claude Helmstetter	TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox.	Leibniz Trans. Embed. Syst.	2014	DBLP DOI BibTeX RDF
15	Van Chan Ngo, Axel Legay, Jean Quilbeuf	Dynamic Verification of SystemC with Statistical Model Checking.	CoRR	2014	DBLP BibTeX RDF
15	Abdelhakim Alali, Ismail Assayad, Mohamed Sadik	Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2.	CoRR	2014	DBLP BibTeX RDF
15	John W. O'Leary, David M. Russinoff	Modeling Algorithms in SystemC and ACL2.	ACL2	2014	DBLP DOI BibTeX RDF
15	Nesrine Harrath, Bruno Monsuez	Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction.	Int. J. Crit. Comput. Based Syst.	2014	DBLP DOI BibTeX RDF
15	Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët	An Approach based on SysML and SystemC to Simulate Complex Systems.	MODELSWARD	2014	DBLP DOI BibTeX RDF
15	Nicolas Ventroux, Julien Peeters, Tanguy Sassolas, James C. Hoe	Highly-parallel special-purpose multicore architecture for SystemC/TLM simulations.	ICSAMOS	2014	DBLP DOI BibTeX RDF
15	Sonali Dutta, Moshe Y. Vardi	Assertion-based flow monitoring of SystemC models.	MEMOCODE	2014	DBLP DOI BibTeX RDF
15	Michael Mefenza, Franck Yonga, Christophe Bobda	Automatic UVM Environment Generation for Assertion-Based and Functional Verification of SystemC Designs.	MTV	2014	DBLP DOI BibTeX RDF
15	Filippo Cucchetto, Alessandro Lonardi, Graziano Pravadelli	A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms.	VLSI-SoC	2014	DBLP DOI BibTeX RDF
15	Alessandro Lonardi, Graziano Pravadelli	On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms.	VLSI-SoC (Selected Papers)	2014	DBLP DOI BibTeX RDF
15	Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid, Laura Tosoratto	Time-decoupled parallel SystemC simulation.	DATE	2014	DBLP DOI BibTeX RDF
15	Hoang Minh Le 0001, Rolf Drechsler	Towards verifying determinism of SystemC designs.	DATE	2014	DBLP DOI BibTeX RDF
15	Jones Yudi Mori, Michael Hübner 0001	A high-level analysis of a multi-core vision processor using SystemC and TLM2.0.	ReConFig	2014	DBLP DOI BibTeX RDF
15	Naiju Zeng, Wenhui Zhang	A Symbolic Partial Order Method for Verifying SystemC.	APSEC (1)	2014	DBLP DOI BibTeX RDF
15	A. A. Nacci, Giovanni Bettinazzi, Christian Pilato, Vincenzo Rana, Marco D. Santambrogio, Donatella Sciuto	A SystemC-based framework for the simulation of appliances networks in energy-aware smart spaces.	WF-IoT	2014	DBLP DOI BibTeX RDF
15	Mohamed Ammar Ben Khadra, Yu Bai 0003, Klaus Schneider 0001	High level modeling of elastic circuits in SystemC.	SpringSim (TMS-DEVS)	2014	DBLP BibTeX RDF
15	Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg	A Program State Machine Based Virtual Processing Model in SystemC.	EWiLi	2014	DBLP BibTeX RDF
15	Jannis Stoppe, Robert Wille, Rolf Drechsler	Validating SystemC Implementations Against Their Formal Specifications.	SBCCI	2014	DBLP DOI BibTeX RDF
15	Torsten Maehne, Zhi Wang 0005, Benoit Vernay, Liliana Andrade, Cédric Ben Aoun, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Arnaud Krust, Gerold Schropfer, Martin Barnasconi, Karsten Einwich, Fabio Cenni, Olivier Guillaume	UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context.	ICECS	2014	DBLP DOI BibTeX RDF
15	Yin-Tsung Hwang, Jiun-Yan Chen	An IP interface design compiler with SystemC based input specifications.	NEWCAS	2014	DBLP DOI BibTeX RDF
15	Bastian Haetzer, Martin Radetzki	A comparison of parallel systemc simulation approaches at RTL.	FDL	2014	DBLP DOI BibTeX RDF
15	Leandro Gil, Martin Radetzki	SystemC AMS power electronic modeling with ideal instantaneous switches.	FDL	2014	DBLP DOI BibTeX RDF
15	Christian Sauer 0001, Hans-Martin Blüthgen, Hans-Peter Loeb	Distributed, loosely-synchronized systemC/TLM simulations of many-processor platforms.	FDL	2014	DBLP DOI BibTeX RDF
15	Alper Sen 0001, Onder Kalaci	Hybrid dynamic data race detection in systemC.	FDL	2014	DBLP DOI BibTeX RDF
15	Víctor Fernández 0001, Elier Wilpert, Herique Isidoro, Cédric Ben Aoun, François Pêcheux	SystemC-MDVP modelling of pressure driven microfluidic systems.	MECO	2014	DBLP DOI BibTeX RDF
15	Iban Ayestaran, Carlos F. Nicolás, Jon Pérez 0001, Peter P. Puschner	Modeling logical execution time based safety-critical embedded systems in SystemC.	MECO	2014	DBLP DOI BibTeX RDF
15	Moo-Kyoung Chung, Jun-Kyoung Kim, Soojung Ryu	SimParallel: A high performance parallel SystemC simulator using hierarchical multi-threading.	ISCAS	2014	DBLP DOI BibTeX RDF
15	Markus Becker 0001, Christoph Kuznik, Wolfgang Müller 0003	WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems.	ICCPS	2014	DBLP DOI BibTeX RDF
15	Paula Herber, Bettina Hünnemeyer	Formal Verification of SystemC Designs using the BLAST Software Model Checker.	ACES-MB@MoDELS	2014	DBLP BibTeX RDF
15	Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt	Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS.	GI-Jahrestagung	2014	DBLP BibTeX RDF
15	Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia	On the reuse of RTL assertions in SystemC TLM verification.	LATW	2014	DBLP DOI BibTeX RDF
15	Yao Li 0009, Ramy Iskander, Marie-Minerve Louërat	Modeling, design and verification platform using SystemC AMS.	ISQED	2014	DBLP DOI BibTeX RDF
15	Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni	Analysis of Permanent Faults in Transaction Level SystemC Models.	ICDCS Workshops	2014	DBLP DOI BibTeX RDF
15	Naiju Zeng, Wenhui Zhang	An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS.	ICECCS	2014	DBLP DOI BibTeX RDF
15	Judith Peters, Robert Wille, Rolf Drechsler	Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL.	ICECCS	2014	DBLP DOI BibTeX RDF
15	Zhimiao Chen, Yifan Wang 0001, Lei Liao, Ye Zhang 0003, Aytac Atac, Jan Henning Müller, Ralf Wunderlich, Stefan Heinen	A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification.	DAC	2014	DBLP DOI BibTeX RDF
15	Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni	Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL.	SEFM	2014	DBLP DOI BibTeX RDF
15	Marc Michael	Methoden zum Erfassen und Entwickeln von SystemC-Modellen.		2014	RDF
15	Khouloud Zine Elabidine	Méthode de prototypage virtuel permettant l'évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce. (Early design power estimation method for multiprocessor system on chip, based on SystemC prototyping).		2014	RDF
15	Marius Monton, Jakob Engblom, Mark Burton	Checkpointing for Virtual Platforms and SystemC-TLM.	IEEE Trans. Very Large Scale Integr. Syst.	2013	DBLP DOI BibTeX RDF
15	Kun-Lin Tsai, I-Jui Tung, Feipei Lai	A Fast Power Estimation Method for Content Addressable Memory by Using SystemC Simulation Environment.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2013	DBLP DOI BibTeX RDF
15	Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni	Facilitating the design of fault tolerance in transaction level SystemC programs.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
15	Weiyun Lu, Martin Radetzki	Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation.	Microprocess. Microsystems	2013	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Iman Narasamdya, Marco Roveri	Software Model Checking SystemC.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2013	DBLP DOI BibTeX RDF
15	Keita Nakajima, Shuto Kurebayashi, Yusuke Fukutsuka, Takuji Hieda, Ittetsu Taniguchi, Hiroyuki Tomiyama, Hiroaki Takada	Naxim: A Fast and Retargetable Network-on-Chip Simulator with QEMU and SystemC.	Int. J. Netw. Comput.	2013	DBLP BibTeX RDF
15	Yanyan Gao 0001, Xi Li 0003	A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs.	J. Electron. Test.	2013	DBLP DOI BibTeX RDF
15	Paula Herber, Sabine Glesner	A HW/SW co-verification framework for SystemC.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
15	Mikhail J. Moiseev, Mikhail Glukhikh, Alexey V. Zakharov, Harald Richter 0001	A static analysis approach to data race detection in SystemC designs.	DDECS	2013	DBLP DOI BibTeX RDF
15	Syed Saif Abrar, Maksim Jenihhin, Jaan Raik	Extensible open-source framework for translating RTL VHDL IP cores to SystemC.	DDECS	2013	DBLP DOI BibTeX RDF
15	Syed Saif Abrar, Maksim Jenihhin, Jaan Raik, Shyam Kiran A., C. Babu	Performance analysis of cosimulating processor core in VHDL and SystemC.	ICACCI	2013	DBLP DOI BibTeX RDF
15	Efstathios Sotiriou-Xanthopoulos, Kostas Siozios, George Economakos, Dimitrios Soudris	A Process-based Reconfigurable SystemC Module for simulation speedup.	ICSAMOS	2013	DBLP DOI BibTeX RDF
15	Yanyan Gao 0001, Xi Li 0003	An effective model extraction method with state space compression for model checking SystemC TLM designs.	ICSAMOS	2013	DBLP DOI BibTeX RDF
15	Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni	Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs.	SSS	2013	DBLP DOI BibTeX RDF
15	Nick Ni, Yi Peng	Co-simulation framework of SystemC SoC virtual prototype and custom logic (abstract only).	FPGA	2013	DBLP DOI BibTeX RDF
15	Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Scalable fault localization for SystemC TLM designs.	DATE	2013	DBLP DOI BibTeX RDF
15	Matthieu Moy	Parallel programming with SystemC for loosely timed models: a non-intrusive approach.	DATE	2013	DBLP DOI BibTeX RDF
15	Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López 0001	UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications.	DSD	2013	DBLP DOI BibTeX RDF