Results 201 to 210 of about 13,010 (210)
Some of the next articles are maybe not open access.
Race analysis for systemc using model checking
ACM Transactions on Design Automation of Electronic Systems, 2010Daniel Kroening
exaly
SystemC/C-based model-driven design for embedded systems
Transactions on Embedded Computing Systems, 2009Elvinia Riccobene +2 more
exaly
RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model
Design Automation for Embedded Systems, 2005Eugenio Villar
exaly
ARTS: A SystemC-based framework for multiprocessor Systems-on-Chip modelling
Design Automation for Embedded Systems, 2007Kashif Virk, Jan Busk Madsen
exaly
A QEMU and SystemC-Based Cycle-Accurate ISS for Performance Estimation on SoC Development
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2011exaly
A HW/SW co-verification framework for SystemC
Transactions on Embedded Computing Systems, 2013exaly
TAPES—Trace-based architecture performance evaluation with SystemC
Design Automation for Embedded Systems, 2006exaly
NC-Library: Expanding SystemC Capabilities for Nested reConfigurable Hardware Modelling
ACM Transactions on Reconfigurable Technology and Systemsexaly
Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL
Transactions on Embedded Computing SystemsMehran Goli, Rolf Drechsler
exaly