1784 search results - page 92 / 357 » Formal Models for Embedded System Design |
SIES
2008
IEEE
14 years 3 months ago
2008
IEEE
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
SAMOS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
CSREAESA
2006
13 years 10 months ago
2006
Traditional simulation-based energy estimation is not practical because the simulation time has increased from minutes and hours and weeks. Therefore, simulation assisted by speci...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...