355 search results - page 2 / 71 » Verification of Embedded Memory Systems using Efficient Memo... |
JCIT
2007
13 years 5 months ago
2007
The embedded system has less fast CPU and lower memory than PC(Personal Computer) or Workstation system. Therefore, the embedded operating system is designed to efficiently use th...
ASPDAC
2008
ACM
13 years 7 months ago
2008
ACM
On chip memories provide fast and energy efficient storage for code and data in comparison to caches or external memories. We present techniques and algorithms that allow for an au...
FMCAD
2007
Springer
13 years 9 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
VLSID
2003
IEEE
14 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
ATVA
2009
Springer
13 years 6 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...