1992 search results - page 78 / 399 » Memory modeling for system synthesis |
103
click to vote
FMCAD
2007
Springer
15 years 5 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 ...
153
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
126
click to vote
PODC
2009
ACM
15 years 10 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
138
click to vote
ASIASIM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
JISE
2011
14 years 8 months ago
2011
In this paper, HNM (harmonic plus noise model) is enhanced and used to design a scheme for synthesizing Mandarin singing voice. Enhancements made include synthesizing signals with...