951 search results - page 106 / 191 » Hardware design experiences in ZebraNet |
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
The existing work on via-stapling in 3D integrated circuits optimizes power and thermal integrity separately and uses steadystate thermal analysis. This paper presents the first ...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
TEI
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we present a novel type of persuasive home appliance: A thrifty water faucet. Through a servo motor construction, it is enabled to move and behave in life-like mann...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—We propose (σ, ρ)-based flow regulation as a design instrument for System-on-Chip (SoC) architects to control quality-of-service and achieve cost-effective communicat...
DDECS
2009
IEEE
15 years 4 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...