12333 search results - page 30 / 2467 » System Level Modelling for Hardware Software Systems |
140
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
144
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
132
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
140
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...