733 search results - page 61 / 147 » Model Reuse through Hardware Design Patterns |
ISPASS
2007
IEEE
15 years 4 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
JSAC
2011
14 years 4 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
DRAM is facing severe scalability challenges in sub-45nm technology nodes due to precise charge placement and sensing hurdles in deep-submicron geometries. Resistive memories, suc...
ATVA
2009
Springer
15 years 1 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
DAIS
2006
14 years 11 months ago
2006
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...