Search results for "SystemC"

Hits ?▲	Authors	Title	Venue	Year	Link
15	David Aledo, Benjamin Carrión Schäfer, Félix Moreno	VHDL vs. SystemC: Design of Highly Parameterizable Artificial Neural Networks.	IEICE Trans. Inf. Syst.	2019	DBLP DOI BibTeX RDF
15	Hamoudi Kalla, David Berner, Jean-Pierre Talpin	Automated Generation of Synchronous Formal Models from SystemC Descriptions.	J. Circuits Syst. Comput.	2019	DBLP DOI BibTeX RDF
15	Mustafa Efendioglu, Alper Sen 0001, Yavuz Köroglu	Bug Prediction of SystemC Models Using Machine Learning.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2019	DBLP DOI BibTeX RDF
15	Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler	Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2019	DBLP DOI BibTeX RDF
15	Zhongqi Cheng, Rainer Dömer	Analyzing Variable Entanglement for Parallel Simulation of SystemC TLM-2.0 Models.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
15	Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino	SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties.	ACM Trans. Design Autom. Electr. Syst.	2019	DBLP DOI BibTeX RDF
15	Muhammad Hassan 0002, Daniel Große, Hoang M. Le, Rolf Drechsler	Data Flow Testing for SystemC-AMS Timed Data Flow Models.	DATE	2019	DBLP DOI BibTeX RDF
15	Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler	Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing.	DATE	2019	DBLP DOI BibTeX RDF
15	Mehran Goli, Rolf Drechsler	Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes.	DSD	2019	DBLP DOI BibTeX RDF
15	Xiao Pan, Carna Zivkovic, Christoph Grimm 0001	Virtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both?	ASP-DAC	2019	DBLP DOI BibTeX RDF
15	Lukas Jünger 0001, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid	Fast SystemC Processor Models with Unicorn.	RAPIDO	2019	DBLP DOI BibTeX RDF
15	Anas Nairi, Julien Plante, Nikolai Sinyov, Valentin Olenev, Ilya Korobkov	Simulation of ExoMars2020's Rover Network Using SystemC.	FRUCT	2019	DBLP DOI BibTeX RDF
15	Emad Malekzadeh Arasteh, Rainer Dömer	An Untimed SystemC Model of GoogLeNet.	IESS	2019	DBLP DOI BibTeX RDF
15	Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno	Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology.	FDL	2019	DBLP DOI BibTeX RDF
15	Jens Rudolf, Daniel Gis, Sebastian Stieber, Christian Haubelt, Rainer Dorsch	SystemC Power Profiling for IoT Device Firmware using Runtime Configurable Models.	MECO	2019	DBLP DOI BibTeX RDF
15	Salah Eddine Saidi, Amir Charif, Tanguy Sassolas, Pierre-Guillaume Le Guay, Henrique Vicente Souza, Nicolas Ventroux	Fast Virtual Prototyping of Cyber-Physical Systems using SystemC and FMI: ADAS Use Case.	RSP	2019	DBLP DOI BibTeX RDF
15	Lorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse	A Modular SystemC RTOS Model for Uncertainty Analysis.	CyPhy/WESE	2019	DBLP DOI BibTeX RDF
15	Yi-Che Lee, Ting-Shuo Hsu, Chun-Tse Chen, Jing-Jia Liou, Juin-Ming Lu	NNSim: A Fast and Accurate SystemC/TLM Simulator for Deep Convolutional Neural Network Accelerators.	VLSI-DAT	2019	DBLP DOI BibTeX RDF
15	Mohammad Radpour, Sayed Masoud Sayedi	SystemC-AMS modeling of photodiode based on PWL technique to be used in energy harvesting CMOS image sensor.	Integr.	2018	DBLP DOI BibTeX RDF
15	Aleksandr Romanov 0001, Alexander Ivannikov	SystemC Language Usage as the Alternative to the HDL and High-level Modeling for NoC Simulation.	Int. J. Embed. Real Time Commun. Syst.	2018	DBLP DOI BibTeX RDF
15	Van Chan Ngo, Axel Legay	Formal verification of probabilistic SystemC models with statistical model checking.	J. Softw. Evol. Process.	2018	DBLP DOI BibTeX RDF
15	Gabriele Miorandi, Francesco Stefanni, Federico Fraccaroli, Davide Quaglia	A SystemC-based Simulator for design space exploration of smart wireless systems.	DATE	2018	DBLP DOI BibTeX RDF
15	Muhammad Hassan 0002, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler	Testbench qualification for SystemC-AMS timed data flow models.	DATE	2018	DBLP DOI BibTeX RDF
15	Tim Schmidt, Zhongqi Cheng, Rainer Dömer	Port call path sensitive conflict analysis for instance-aware parallel SystemC simulation.	DATE	2018	DBLP DOI BibTeX RDF
15	Shunsuke Mie, Yuichi Okuyama 0001, Hiroaki Saito	Simplified Quadcopter Simulation Model for Spike-Based Hardware PID Controller using SystemC-AMS.	MCSoC	2018	DBLP DOI BibTeX RDF
15	Bin Lin, Fei Xie	SCBench: A benchmark design suite for SystemC verification and validation.	ASP-DAC	2018	DBLP DOI BibTeX RDF
15	Rafael Carvalho, Rebeca Alencar, Adriano Sarmento	Generation of SystemC Simulation Models from Service Level UML Diagrams.	SBESC	2018	DBLP DOI BibTeX RDF
15	Jeferson Santos Barros, Victor Hugo Schulz, Djones Vinicius Lettnin	An Adaptive Closed-Loop Verification Approach in UVM-SystemC for AMS Circuits.	SBCCI	2018	DBLP DOI BibTeX RDF
15	Douglas Lohmann, Alexis Huf, Djones Lettnin, Frank Siqueira, José Luís Güntzel	A Domain-specific Language for Automated Fault Injection in SystemC Models.	ICECS	2018	DBLP DOI BibTeX RDF
15	Jing Li, Qiao Li 0005, Xueqian Tang	Modeling TTEthernet Startup Service in SystemC for Verifying Fault-Tolerant Protocol under Fail-Omission Scenarios.	TENCON	2018	DBLP DOI BibTeX RDF
15	Zineb El Hariti, Abdelhakim Alali, Mohamed Sadik	Power and Temperature Estimation for Soft-core Processor Task at the SystemC/TLM.	ICMCS	2018	DBLP DOI BibTeX RDF
15	Jan Henrik Weinstock, Robert Lajos Bücs, Florian Walbroel, Rainer Leupers, Gerd Ascheid	AMVP - a high performance virtual platform using parallel systemC for multicore ARM architectures: work-in-progress.	CODES+ISSS	2018	DBLP DOI BibTeX RDF
15	Konstantinos Georgopoulos, Pavlos Malakonakis, Nikolaos Tampouratzis, Antonis Nikitakis, Grigorios Chrysos 0001, Apostolos Dollas, Dionysios N. Pnevmatikatos, Ioannis Papaefstathiou	Comparing C and SystemC Based HLS Methods for Reconfigurable Systems Design.	ARC	2018	DBLP DOI BibTeX RDF
15	Zhongqi Cheng, Tim Schmidt, Rainer Dömer	SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation.	FDL	2018	DBLP DOI BibTeX RDF
15	Carna Zivkovic, Christoph Grimm 0001	Symbolic Simulation of SystemC AMS Without Yet Another Compiler.	FDL	2018	DBLP DOI BibTeX RDF
15	Mehran Goli, Jannis Stoppe, Rolf Drechsler	Resilience Evaluation for Approximating SystemC Designs Using Machine Learning Techniques.	RSP	2018	DBLP DOI BibTeX RDF
15	François Pêcheux, Christoph Grimm 0001, Torsten Maehne, Martin Barnasconi, Karsten Einwich	SystemC AMS Based Frameworks for Virtual Prototyping of Heterogeneous Systems.	ISCAS	2018	DBLP DOI BibTeX RDF
15	Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie	Concolic testing of SystemC designs.	ISQED	2018	DBLP DOI BibTeX RDF
15	Lamia Eljadiri, Ismail Assayad, Abdelouahed Zakari	Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.	ICSDE	2018	DBLP DOI BibTeX RDF
15	Lamia Eljadiri, Ismail Assayad	A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela.	ICSDE	2018	DBLP DOI BibTeX RDF
15	Nandeesha Veeranna, Benjamin Carrión Schäfer	S3CBench: Synthesizable Security SystemC Benchmarks for High-Level Synthesis.	J. Hardw. Syst. Secur.	2017	DBLP DOI BibTeX RDF
15	Zied Aloui, Nawfal Ahamada, Julien Denoulet, Francine Pierre, Martin Rayrole, Marc Gatti, Bertrand Granado	Embedded real-time monitoring using SystemC in IMA network.	CoRR	2017	DBLP BibTeX RDF
15	Van Chan Ngo, Axel Legay	Formal Verification of Probabilistic SystemC Models with Statistical Model Checking.	CoRR	2017	DBLP BibTeX RDF
15	Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan	Synthesizing SystemC Code from Delay Hybrid CSP.	CoRR	2017	DBLP BibTeX RDF
15	Michal Lid'ák, Dominik Macko	A New Automated Power-Estimation Method for SystemC Hardware Design.	J. Low Power Electron.	2017	DBLP DOI BibTeX RDF
15	Christian Menard, Jerónimo Castrillón, Matthias Jung 0001, Norbert Wehn	System simulation with gem5 and SystemC: The keystone for full interoperability.	SAMOS	2017	DBLP DOI BibTeX RDF
15	Fatma Sbiaa, Mohsen Machhout, Medien Zeghid	Design and SystemC Implementation of Chaos-Based Enhancements for the Advanced Encryption Standard.	ICCTA	2017	DBLP DOI BibTeX RDF
15	Elbouanani Soumia, Ismail Assayad, Mohamed Sadik	Verification of SystemC Components Using the Method of Deduction.	UNet	2017	DBLP DOI BibTeX RDF
15	Thomas W. Pieber, Thomas Ulz, Christian Steger	SystemC Test Case Generation with the Gazebo Simulator.	SIMULTECH	2017	DBLP DOI BibTeX RDF
15	Thomas W. Pieber, Thomas Ulz, Christian Steger	Using Gazebo to Generate Use Case Based Stimuli for SystemC.	SIMULTECH (Selected Papers)	2017	DBLP DOI BibTeX RDF
15	Mehran Goli, Jannis Stoppe, Rolf Drechsler	Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications.	DATE	2017	DBLP DOI BibTeX RDF
15	Tim Schmidt, Guantao Liu, Rainer Dömer	Hybrid analysis of SystemC models for fast and accurate parallel simulation.	ASP-DAC	2017	DBLP DOI BibTeX RDF
15	Zhongqi Cheng, Tim Schmidt, Guantao Liu, Rainer Dömer	Thread- and data-level parallel simulation in SystemC, a Bitcoin miner case study.	HLDVT	2017	DBLP DOI BibTeX RDF
15	Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan	Synthesizing SystemC Code from Delay Hybrid CSP.	APLAS	2017	DBLP DOI BibTeX RDF
15	Thiyagarajan Purusothaman, Christoph Grimm 0001	SystemC AMS based Co-simulation Framework for Cyber Physical Systems.	MBMV	2017	DBLP BibTeX RDF
15	Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid	Accelerating MPSoC Simulation Using Parallel SystemC and Processor Sleep Models.	RAPIDO	2017	DBLP BibTeX RDF
15	Mehran Goli, Jannis Stoppe, Rolf Drechsler	Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata.	ICCD	2017	DBLP DOI BibTeX RDF
15	Ting-Shuo Hsu, Chao-Chieh Wu, Che-Wei Hsu, Chih-Tsun Huang, Jing-Jia Liou, Yao-Hua Chen, Juin-Ming Lu	Design space exploration with a cycle-accurate systemC/TLM DRAM controller model.	VLSI-DAT	2017	DBLP DOI BibTeX RDF
15	Tim Schmidt, Guantao Liu, Rainer Dömer	Exploiting Thread and Data Level Parallelism for Ultimate Parallel SystemC Simulation.	DAC	2017	DBLP DOI BibTeX RDF
15	Martin Barnasconi, Sumit Adhikari	ESL Design in SystemC AMS: Introducing a top-down design methodology for mixed-signal systems: Invited.	DAC	2017	DBLP DOI BibTeX RDF
15	Denis Becker	Parallel System C/TLM Simulation of Hardware Components described for High-Level Synthesis. (Simulation Parallèle en SystemC/TLM de Composants Matériels décrits pour la Synthèse de Haut-Niveau).		2017	RDF
15	Zhongqi Cheng	Design and Evaluation of a Bitcoin Miner SystemC Model with Thread and Data-Level Parallelism.		2017	RDF
15	Rainer Dömer	Seven Obstacles in the Way of Standard-Compliant Parallel SystemC Simulation.	IEEE Embed. Syst. Lett.	2016	DBLP DOI BibTeX RDF
15	Simone Orcioni, Marco Giammarini, Cristiano Scavongelli, Giovanni B. Vece, Massimo Conti	Energy estimation in SystemC with Powersim.	Integr.	2016	DBLP DOI BibTeX RDF
15	Rolf Meyer, Jan Wagner, Bastian Farkas, Sven Alexander Horsinka, Patrick Siegl, Rainer Buchty, Mladen Berekovic	A Scriptable Standard-Compliant Reporting and Logging Framework for SystemC.	ACM Trans. Embed. Comput. Syst.	2016	DBLP BibTeX RDF
15	Christian Sauer 0001, Hans-Peter Loeb	A Lightweight Framework for the Dynamic Creation and Configuration of Virtual Platforms in SystemC.	ACM Trans. Embed. Comput. Syst.	2016	DBLP BibTeX RDF
15	Jan Henrik Weinstock, Luis Gabriel Murillo, Rainer Leupers, Gerd Ascheid	Parallel SystemC Simulation for ESL Design.	ACM Trans. Embed. Comput. Syst.	2016	DBLP BibTeX RDF
15	Fangyan Li, Eric Dekneuvel, Remi Butaud, Gilles Jacquemod	Wireless RF systems modelling using SystemC.	Microelectron. J.	2016	DBLP DOI BibTeX RDF
15	Vladimir Herdt	Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs		2016	DOI RDF
15	Van Chan Ngo, Axel Legay, Jean Quilbeuf	Statistical Model Checking for SystemC Models.	HASE	2016	DBLP DOI BibTeX RDF
15	Van Chan Ngo, Axel Legay, Vania Joloboff	PSCV: A Runtime Verification Tool for Probabilistic SystemC Models.	CAV (1)	2016	DBLP DOI BibTeX RDF
15	Jianfeng An, Yi Wang 0016	Speed up an x86 SAME simulator using synthesizable SystemC timing models.	MWSCAS	2016	DBLP DOI BibTeX RDF
15	Salaheddine Hamza Sfar, Rached Tourki, Imed E. Bennour	Stepwise SystemC/TLM-2 models structuring and optimizations.	IDT	2016	DBLP DOI BibTeX RDF
15	Imed E. Bennour	SystemC TLM2-protocol consistency checker using Petri net.	IDT	2016	DBLP DOI BibTeX RDF
15	Vladimir Obrizan, Tetiana Soklakova	Multiversion parallel synthesis of digital structures based on SystemC specification.	EWDTS	2016	DBLP DOI BibTeX RDF
15	Kirill Gagarski, Maxim Petrov, Mikhail J. Moiseev, Ilya Klotchkov	Power specification, simulation and verification of SystemC designs.	EWDTS	2016	DBLP DOI BibTeX RDF
15	Nicolas Ventroux, Tanguy Sassolas	A new parallel SystemC kernel leveraging manycore architectures.	DATE	2016	DBLP BibTeX RDF
15	Hoang Minh Le 0001, Vladimir Herdt, Daniel Große, Rolf Drechsler	Towards formal verification of real-world SystemC TLM peripheral models - a case study.	DATE	2016	DBLP BibTeX RDF
15	Yuliia Romenska, Florence Maraninchi	Efficient monitoring of loose-ordering properties for SystemC/TLM.	DATE	2016	DBLP BibTeX RDF
15	Christian Amstutz, Oliver Sander	A Library to Model and Configure Large Regular Structures in SystemC.	DSD	2016	DBLP DOI BibTeX RDF
15	Stefano Centomo, Julien Deantoni, Robert de Simone	Using SystemC Cyber Models in an FMI Co-Simulation Environment: Results and Proposed FMI Enhancements.	DSD	2016	DBLP DOI BibTeX RDF
15	Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie	Generating high coverage tests for SystemC designs using symbolic execution.	ASP-DAC	2016	DBLP DOI BibTeX RDF
15	Tim Schmidt, Guantao Liu, Rainer Dömer	Automatic Generation of Thread Communication Graphs from SystemC Source Code.	SCOPES	2016	DBLP DOI BibTeX RDF
15	Janne Virtanen, Panu Sjovall, Marko Viitanen, Timo D. Hämäläinen, Jarno Vanne	Distributed systemc simulation on manycore servers.	NORCAS	2016	DBLP DOI BibTeX RDF
15	Tomás Grimm, Djones Lettnin, Michael Hübner 0001	Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions.	NORCAS	2016	DBLP DOI BibTeX RDF
15	Aleksandr Romanov 0001, Aleksandr Ivannikov	SystemC NoC simulation as the alternative to the HDL and high-level modeling.	FRUCT	2016	DBLP DOI BibTeX RDF
15	V. Tran, P. Tisserand, François Pêcheux, Andréa Pinna 0001	Towards the simulatable specification of a highly customisable SystemC AMS alternator model in its multi-domain environment.	SMACD	2016	DBLP DOI BibTeX RDF
15	Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler	Compiled symbolic simulation for systemC.	ICCAD	2016	DBLP DOI BibTeX RDF
15	Mehran Goli, Jannis Stoppe, Rolf Drechsler	AIBA: An Automated Intra-cycle Behavioral Analysis for SystemC-based design exploration.	ICCD	2016	DBLP DOI BibTeX RDF
15	Calypso Barnes, Jean-Marie Cottin, François Verdier, Alain Pegatoquet	Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC.	MoDELS	2016	DBLP BibTeX RDF
15	Lucana Santos, Ana Gomez, Pedro Hernandez-Fernandez, Roberto Sarmiento	SystemC modelling of lossless compression IP cores for space applications.	DASIP	2016	DBLP DOI BibTeX RDF
15	Daniele Coati, Rosario Distefano, Nicola Bombieri, Franco Fummi, Michela Mirenda, Carlo Laudanna, Rosalba Giugno	A SystemC-based platform for assertion-based verification and mutation analysis in systems biology.	LATS	2016	DBLP DOI BibTeX RDF
15	Yukai Chen, Sara Vinco, Enrico Macii, Massimo Poncino	Fast Thermal Simulation using SystemC-AMS.	ACM Great Lakes Symposium on VLSI	2016	DBLP DOI BibTeX RDF
15	Bruno Kleinert, Simone Weiß, Franziska Schäfer, Jupiter Bakakeu, Dietmar Fey	Adaptive Synchronization Interface for Hardware-Software Co-Simulation based on SystemC and QEMU.	SimuTools	2016	DBLP BibTeX RDF
15	Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal	The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems.	AICCSA	2016	DBLP DOI BibTeX RDF
15	Rolf Drechsler, Jannis Stoppe	Hardware/Software Co-Visualization on the Electronic System Level Using SystemC.	VLSID	2016	DBLP DOI BibTeX RDF
15	Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni	A framework for verification of SystemC TLM programs with model slicing: a case study.	DAC	2016	DBLP DOI BibTeX RDF
15	Víctor Fernández 0001, Andrés Mena, Cédric Ben Aoun, François Pêcheux, Luis J. Fernández	Virtual prototyping of pressure driven microfluidic systems with SystemC-AMS extensions.	Microprocess. Microsystems	2015	DBLP DOI BibTeX RDF
15	Simon Reder, Christoph Roth, Harald Bucher, Oliver Sander, Jürgen Becker 0001	Adaptive algorithm and tool flow for accelerating SystemC on many-core architectures.	Microprocess. Microsystems	2015	DBLP DOI BibTeX RDF
15	Hassen Mestiri, Younes Lahbib, Mohsen Machhout, Rached Tourki	An AOP-Based Fault Injection Environment for Cryptographic SystemC Designs.	J. Circuits Syst. Comput.	2015	DBLP DOI BibTeX RDF