266 search results - page 30 / 54 » Combining Software and Hardware Verification Techniques |
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
120
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...
153
click to vote
SBCCI
2005
ACM
15 years 7 months ago
2005
ACM
Higher integration densities, smaller feature lengths, and other technology advances, as well as architectural evolution, have made microprocessor cores exceptionally complex. Cur...
129
click to vote
NSDI
2004
15 years 3 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
130
click to vote
MEMOCODE
2010
IEEE
14 years 11 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...