Sciweavers

2435 search results - page 5 / 487
» System Exploration of SystemC Designs
Sort
View
RSP
2005
IEEE
162views Control Systems» more  RSP 2005»
14 years 2 months ago
SyCE: An Integrated Environment for System Design in SystemC
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
Rolf Drechsler, Görschwin Fey, Christian Genz...
MSE
2005
IEEE
148views Hardware» more  MSE 2005»
14 years 2 months ago
Teaching System-Level Design Using SpecC and SystemC
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
Robert D. Walstrom, Joseph Schneider, Diane T. Rov...
DAC
2006
ACM
14 years 2 months ago
Maintaining consistency between systemC and RTL system designs
Alistair C. Bruce, M. M. Kamal Hashmi, Andrew Nigh...
DAC
2008
ACM
14 years 10 months ago
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
Christian Haubelt, Thomas Schlichter, Joachim Kein...
CODES
2008
IEEE
13 years 10 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner