Search results for "SystemC"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Daniele Campana, Alessandro Cimatti, Iman Narasamdya, Marco Roveri	An Analytic Evaluation of SystemC Encodings in Promela.	SPIN	2011	DBLP DOI BibTeX RDF
15	Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler	Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction.	MBMV	2011	DBLP BibTeX RDF
15	Gilles B. Defo, Wolfgang Müller 0003, Heinrich Rommel	Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk.	MBMV	2011	DBLP BibTeX RDF
15	Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel	Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS.	MBMV	2011	DBLP BibTeX RDF
15	Carsten Gremzow, Nico Moser, Jan Lucas	sysCgen - A Tool for SystemC TLM Simulator Synthesis.	MBMV	2011	DBLP BibTeX RDF
15	Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel	SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study.	MBMV	2011	DBLP BibTeX RDF
15		The co-simulation interface SystemC/Matlab applied in JPEG algorithm.	ReCoSoC	2011	DBLP DOI BibTeX RDF
15	Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hély	SystemC modeling of RFID systems for robustness analysis.	SoftCOM	2011	DBLP BibTeX RDF
15	Matthias Kühnle, André Wagner, Jürgen Becker 0001	A statistical power estimation methodology embedded in a SystemC code translator.	SBCCI	2011	DBLP DOI BibTeX RDF
15	Fernando Herrera, Eugenio Villar, Philipp A. Hartmann	Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware.	FDL	2011	DBLP BibTeX RDF
15	Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco	Efficient implementation and abstraction of systemc data types for fast simulation.	FDL	2011	DBLP BibTeX RDF
15	Fabio Cenni, Serge Scotti, Emmanuel Simeu	Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM.	FDL	2011	DBLP BibTeX RDF
15	Mu Zhou, René van Leuken 0001	Systemc-AMS model of a dynamic large-scale satellite-based AIS-like network.	FDL	2011	DBLP BibTeX RDF
15	Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich	ESL power and performance estimation for heterogeneous MPSOCS using SystemC.	FDL	2011	DBLP BibTeX RDF
15	Francisco Mendoza 0001, Christian Köllner, Jürgen Becker 0001, Klaus D. Müller-Glaser	An automated approach to SystemC/Simulink co-simulation.	International Symposium on Rapid System Prototyping	2011	DBLP DOI BibTeX RDF
15	Marcel Pockrandt, Paula Herber, Sabine Glesner	Model checking a SystemC/TLM design of the AMBA AHB protocol.	ESTIMedia	2011	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Iman Narasamdya, Marco Roveri	Boosting Lazy Abstraction for SystemC with Partial Order Reduction.	TACAS	2011	DBLP DOI BibTeX RDF
15	Stefan Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke	Using analog circuit behavior to generate SystemC events for an acceleration of mixed-signal simulation.	ICCD	2011	DBLP DOI BibTeX RDF
15	Fabio Cenni, Serge Scotti, Emmanuel Simeu	A SystemC AMS/TLM platform for CMOS video sensors.	DASIP	2011	DBLP DOI BibTeX RDF
15	Julien Peeters, Nicolas Ventroux, Tanguy Sassolas, Lionel Lacassagne	A systemc TLM framework for distributed simulation of complex systems with unpredictable communication.	DASIP	2011	DBLP DOI BibTeX RDF
15	Yves Blanchard, Antoine Dupret, Arnaud Peizerat	Systemc modelization for fast validation of imager architectures.	DASIP	2011	DBLP DOI BibTeX RDF
15	Laurent Bousquet, Fabio Cenni, Emmanuel Simeu	SystemC-AMS high-level modeling of linear analog blocks with power consumption information.	LATW	2011	DBLP DOI BibTeX RDF
15	Valerio Guarnieri, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar	Mutation analysis for SystemC designs at TLM.	LATW	2011	DBLP DOI BibTeX RDF
15	Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler	Simulation-based equivalence checking between SystemC models at different levels of abstraction.	ACM Great Lakes Symposium on VLSI	2011	DBLP DOI BibTeX RDF
15	Jun Ye, QingPing Tan, Tun Li	Separation of communication and computation in SystemC/TLM modeling: A Feature-Oriented approach.	ISQED	2011	DBLP DOI BibTeX RDF
15	Christoph Kuznik, Wolfgang Müller 0003	Aspect enhanced functional coverage driven verification in the SystemC HDVL.	ISOCC	2011	DBLP DOI BibTeX RDF
15	Christoph Roth, Oliver Sander, Matthias Kühnle, Jürgen Becker 0001	HLA-based simulation environment for distributed SystemC simulation.	SimuTools	2011	DBLP DOI BibTeX RDF
15	Dániel Horváth, Tuan Anh Trinh	A SystemC-Based Simulation Framework for Energy-Efficiency Evaluation of Embedded Networking Devices.	EUNICE	2011	DBLP DOI BibTeX RDF
15	Mikhail J. Moiseev, Alexey V. Zakharov, Ilya Klotchkov, Sergey I. Salishev	Static analysis method for deadlock detection in SystemC designs.	SoC	2011	DBLP DOI BibTeX RDF
15	Christoph Kuznik, Wolfgang Müller 0003	Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.	PRDC	2011	DBLP DOI BibTeX RDF
15	Harry Broeders, René van Leuken 0001	Extracting behavior and dynamically generated hierarchy from SystemC models.	DAC	2011	DBLP DOI BibTeX RDF
15	Aisha Fouad Bushager	Smart card systems : managing risks and modelling security protocols using SystemC and Transaction Level Modelling.		2011	RDF
15	Mostafa I. Soliman, Abdulmajid Farea Al-Juniad	Systemc Implementation and Performance Evaluation of a Decoupled General-Purpose Matrix Processor.	Parallel Process. Lett.	2010	DBLP DOI BibTeX RDF
15	Myoung-Keun You, Gi-Yong Song	SystemVerilog-Based Verification Environment Employing Multiple Inheritance of SystemC.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2010	DBLP DOI BibTeX RDF
15	Sung-Rok Yoon, Min Li Huang, Sang-Ho Seo, Hiroshi Ochi, Sin-Chong Park	A Fast Architecture Exploration Method for High Throughput IEEE 802.11e MAC Implementation Using SystemC.	IEICE Trans. Commun.	2010	DBLP DOI BibTeX RDF
15	Yaseen Zaidi, Christoph Grimm 0001, Jan Haase 0001	On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS.	EURASIP J. Embed. Syst.	2010	DBLP DOI BibTeX RDF
15	Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani	Sysfier: Actor-based formal verification of SystemC.	ACM Trans. Embed. Comput. Syst.	2010	DBLP DOI BibTeX RDF
15	Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya	Analysis of SystemC actor networks for efficient synthesis.	ACM Trans. Embed. Comput. Syst.	2010	DBLP DOI BibTeX RDF
15	Nicolas Blanc, Daniel Kroening	Race analysis for systemc using model checking.	ACM Trans. Design Autom. Electr. Syst.	2010	DBLP DOI BibTeX RDF
15	Pablo Peñil, Julio L. Medina, Hector Posadas, Eugenio Villar	Generating heterogeneous executable specifications in SystemC from UML/MARTE models.	Innov. Syst. Softw. Eng.	2010	DBLP DOI BibTeX RDF
15	Paula Herber	A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata.		2010	RDF
15	Daniel Große, Rolf Drechsler	Quality-Driven SystemC Design		2010	RDF
15	Wan Du, Fabien Mieyeville, David Navarro	IDEA1: A SystemC-based system-level simulator for wireless sensor networks.	WCNIS	2010	DBLP DOI BibTeX RDF
15	Andreas Popp, Andreas Herrholz, Kim Grüttner, Yannick Le Moullec, Peter Koch 0001, Wolfgang Nebel	SystemC-AMS SDF model synthesis for exploration of heterogeneous architectures.	DDECS	2010	DBLP DOI BibTeX RDF
15	Hector Posadas, Eugenio Villar, Dominique Ragot, Marcos Martínez	Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment.	ISORC	2010	DBLP DOI BibTeX RDF
15	Daniel Große, Hoang Minh Le 0001, Rolf Drechsler	Proving transaction and system-level properties of untimed SystemC TLM designs.	MEMOCODE	2010	DBLP DOI BibTeX RDF
15	Deian Tabakov, Moshe Y. Vardi	Monitoring temporal SystemC properties.	MEMOCODE	2010	DBLP DOI BibTeX RDF
15	Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Automatic Fault Localization for SystemC TLM Designs.	MTV	2010	DBLP DOI BibTeX RDF
15	François Pêcheux, Khouloud Zine el Abidine, Alain Greiner	Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS.	PATMOS	2010	DBLP DOI BibTeX RDF
15	Bruno Zatt, Cláudio Machado Diniz, Luciano Volcan Agostini, Sergio Bampi	Timing and interface communication analysis of H.264/AVC encoder using SystemC model.	VLSI-SoC	2010	DBLP DOI BibTeX RDF
15	Homa Alemzadeh, Marco Cimei, Paolo Prinetto, Zainalabedin Navabi	Facilitating testability of TLM FIFO: SystemC implementations.	EWDTS	2010	DBLP DOI BibTeX RDF
15	Homa Alemzadeh, Soheil Aminzadeh, Reihaneh Saberi, Zainalabedin Navabi	Code optimization for enhancing SystemC simulation time.	EWDTS	2010	DBLP DOI BibTeX RDF
15	Aline Mello 0001, Isaac Maia, Alain Greiner, François Pêcheux	Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations.	DATE	2010	DBLP DOI BibTeX RDF
15	Paula Herber, Marcel Pockrandt, Sabine Glesner	Automated conformance evaluation of SystemC designs using timed automata.	ETS	2010	DBLP DOI BibTeX RDF
15	Antoine Lévêque, François Pêcheux, Marie-Minerve Louërat, Hassan Aboushady, Michel Vasilevski	SystemC-AMS Models for Low-Power Heterogeneous Designs: Application to a WSN for the Detection of Seismic Perturbations.	ARCS Workshops	2010	DBLP BibTeX RDF
15	Hector Posadas, Eugenio Villar	Modeling Separate Memory Spaces in Native Co-simulation with SystemC for Design Space Exploration.	ARCS Workshops	2010	DBLP BibTeX RDF
15	Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla	SCGPSim: a fast SystemC simulator on GPUs.	ASP-DAC	2010	DBLP DOI BibTeX RDF
15	W. M. Young, Chua-Huang Huang, Alan P. Su, Chewnpu Jou, Fu-Lung Hsueh	A practice of ESL verification methodology from SystemC to FPGA: using EPC class-1 generation-2 RFID tag design as an example.	ASP-DAC	2010	DBLP DOI BibTeX RDF
15	Alper Sen 0001, Magdy S. Abadir	Coverage metrics for verification of concurrent SystemC designs using mutation testing.	HLDVT	2010	DBLP DOI BibTeX RDF
15	Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Towards analyzing functional coverage in SystemC TLM property checking.	HLDVT	2010	DBLP DOI BibTeX RDF
15	Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch	Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models.	MBMV	2010	DBLP BibTeX RDF
15	Jens Brandt 0001, Mike Gemünde, Klaus Schneider 0001	From Synchronous Guarded Actions to SystemC.	MBMV	2010	DBLP BibTeX RDF
15	Deian Tabakov, Moshe Y. Vardi	Optimized temporal monitors for SystemC.	RV	2010	DBLP DOI BibTeX RDF
15	Kim Grüttner, Henning Kleen, Frank Oppenheimer, Achim Rettberg, Wolfgang Nebel	Towards a synthesis semantics for systemC channels.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
15	Philippe Coussy, Andrés Takach, Michael McNamara, Mike Meredith	An introduction to the SystemC synthesis subset standard.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
15	Christoph Schumacher, Rainer Leupers, Dietmar Petras, Andreas Hoffmann 0002	parSC: synchronous parallel systemc simulation on multi-core host architectures.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
15	Kevin Marquet, Matthieu Moy	PinaVM: a systemC front-end based on an executable intermediate representation.	EMSOFT	2010	DBLP DOI BibTeX RDF
15	Sara Real, Hector Posadas, Eugenio Villar	L2 Cache Modeling based on address modification for Native Co-Simulation in SystemC.	SIES	2010	DBLP DOI BibTeX RDF
15	Christoph Kuznik, Gilles B. Defo, Wolfgang Müller 0003	Verification of a CAN bus model in SystemC with functional coverage.	SIES	2010	DBLP DOI BibTeX RDF
15	Elvinia Riccobene, Patrizia Scandurra	An Executable Semantics of the SystemC UML Profile.	ASM	2010	DBLP DOI BibTeX RDF
15	Chun-Nan Chou, Chang-Hong Hsu, Yueh-Tung Chao, Chung-Yang Huang	Formal deadlock checking on high-level SystemC designs.	ICCAD	2010	DBLP DOI BibTeX RDF
15	Pablo Peñil, Fernando Herrera, Eugenio Villar	Formal Foundations for MARTE-SystemC Interoperability.	FDL	2010	DBLP BibTeX RDF
15	Jun Zhu 0011, Ingo Sander, Axel Jantsch	HetMoC: Heterogeneous Modelling in SystemC.	FDL	2010	DBLP BibTeX RDF
15	Mohammad Hosseinabady, José L. Núñez-Yáñez	SystemC Architectural Transaction Level Modelling for Large NoCs.	FDL	2010	DBLP BibTeX RDF
15	Chenxu Zhao, Tom J. Kazmierski	Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A.	FDL	2010	DBLP BibTeX RDF
15	Chenxu Zhao, Tom J. Kazmierski	SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour.	FDL	2010	DBLP BibTeX RDF
15	Jon Pérez 0001, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum	Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.	FDL	2010	DBLP BibTeX RDF
15	Kevin Marquet, Bageshri Karkare, Matthieu Moy	A Theoretical and Experimental Review of SystemC Front-ends.	FDL	2010	DBLP BibTeX RDF
15	François Pêcheux, Amer Habib	Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing.	FDL	2010	DBLP BibTeX RDF
15	Sumit Adhikari, Christoph Grimm 0001	Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS.	FDL	2010	DBLP BibTeX RDF
15	Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann	An Accelerated Mixed-Signal Simulation Kernel for SystemC.	FDL	2010	DBLP BibTeX RDF
15	Eugenio Villar, Fernando Herrera, Víctor Fernández 0001	Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis.	FDL	2010	DBLP BibTeX RDF
15	Tobias Kirchner, Nico Bannow, Christian Kerstan, Christoph Grimm 0001	Mixed Signal Simulation with SystemC and Saber.	FDL	2010	DBLP BibTeX RDF
15	Zhuo Ruan, Kurtis Cahill, David A. Penry	Elaboration-time synthesis of high-level language constructs in SystemC-based microarchitectural simulators.	ICCD	2010	DBLP DOI BibTeX RDF
15	Mohammad Hosseinabady, José L. Núñez-Yáñez	Effective modelling of large NoCs using SystemC.	ISCAS	2010	DBLP DOI BibTeX RDF
15	François Pêcheux, Morgan Madec, Christophe Lallement	Is SystemC-AMS an appropriate "promoter" for the modeling and simulation of bio-compatible systems?	ISCAS	2010	DBLP DOI BibTeX RDF
15	Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski	Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC.	DIPES/BICC	2010	DBLP DOI BibTeX RDF
15	Paula Herber	Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata.	Ausgezeichnete Informatikdissertationen	2010	DBLP BibTeX RDF
15	Muhammad Farooq, Sumit Adhikari, Jan Haase 0001, Christoph Grimm 0001	Modeling methodology in SystemC-AMS for embedded analog mixed signal systems.	FIT	2010	DBLP DOI BibTeX RDF
15	Aisha Fouad Bushager, Mark Zwolinski	Modelling Smart Card Security Protocols in SystemC TLM.	EUC	2010	DBLP DOI BibTeX RDF
15	Abdelbasset Massouri, Antoine Lévêque, Laurent Clavier, Michel Vasilevski, Andreas Kaiser, Marie-Minerve Louërat	Baseband fading channel simulator for Inter-Vehicle Communication using SystemC-AMS.	BMAS	2010	DBLP DOI BibTeX RDF
15	Yifan Wang 0001, Zhimiao Chen, Stefan Heinen	Hierarchical generation of pin accurate SystemC models based on RF circuit schematics.	BMAS	2010	DBLP DOI BibTeX RDF
15	Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri	Verifying SystemC: A software model checking approach.	FMCAD	2010	DBLP BibTeX RDF
15	I-Jui Tung, Kam-Tou Sio, Chin-Hung Peng, Feipei Lai	A SystemC content addressable memory power estimation tool for early design verification.	APCCAS	2010	DBLP DOI BibTeX RDF
15	Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid	Modeling of Flocking Behaviour System in SystemC.	AICT	2010	DBLP DOI BibTeX RDF
15	Ke Yu	Real-time operating system modelling and simulation using systemC.		2010	RDF
15	Marius Monton	Checkpointing for virtual platforms and systemC-TLM-2.0.		2010	RDF
15	Scott Sirowy	Emulation of SystemC Applications for Portable FPGA Binaries.		2010	RDF
15	Nicolas Blanc	Static Analysis for SystemC with Scoot: From Verification to Simulation.		2010	RDF
15	Scott Sirowy, Chen Huang 0005, Frank Vahid	Dynamic acceleration management for SystemC emulation.	SIGBED Rev.	2009	DBLP DOI BibTeX RDF