Sciweavers

21984 search results - page 47 / 4397
» C
Sort
View
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
14 years 3 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ISMVL
2003
IEEE
111views Hardware» more  ISMVL 2003»
14 years 3 months ago
Modeling Multi-Valued Circuits in SystemC
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
Daniel Große, Görschwin Fey, Rolf Drech...
SBACPAD
2003
IEEE
137views Hardware» more  SBACPAD 2003»
14 years 3 months ago
Exploring Memory Hierarchy with ArchC
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
14 years 2 months ago
The Modelling of Embedded Systems Using HASoC
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
M. D. Edwards, P. N. Green
PLDI
1999
ACM
14 years 2 months ago
An Evaluation of Staged Run-Time Optimizations in DyC
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...
Brian Grant, Matthai Philipose, Markus Mock, Craig...