160
Voted
DAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
145
Voted
DAC
2004
ACM
15 years 7 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
118
Voted
BSN
2006
IEEE
15 years 7 months ago
2006
IEEE
System robustness against individual sensor failures is an important concern in multi-sensor networks. Unfortunately, the complexity of using the remaining sensors to interpolate ...
138
Voted
DAC
2004
ACM
15 years 7 months ago
2004
ACM
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
116
Voted
BSN
2006
IEEE
15 years 7 months ago
2006
IEEE
The Alfred Mann Foundation is developing a network of up to 850 injectable devices that have stimulating, sensing and communication capabilities. Each of the devices is coordinated...