Sciweavers

452 search results - page 10 / 91
» date 2010
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 4 months ago
Formal verification of analog circuits in the presence of noise and process variation
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zak...
DATE
2010
IEEE
118views Hardware» more  DATE 2010»
15 years 1 months ago
Proactive NBTI mitigation for busy functional units in out-of-order microprocessors
Due to fast technology scaling, negative bias temperature instability (NBTI) has become a major reliability concern in designing modern integrated circuits. In this paper, we prese...
Lin Li, Youtao Zhang, Jun Yang 0002, Jianhua Zhao
DATE
2010
IEEE
122views Hardware» more  DATE 2010»
14 years 12 months ago
Correlation controlled sampling for efficient variability analysis of analog circuits
The Monte Carlo (MC) simulation is a well-known solution to the statistical analysis of analog circuits in the presence of device mismatch. Despite MC's superior accuracy comp...
Javid Jaffari, Mohab Anis
DATE
2010
IEEE
132views Hardware» more  DATE 2010»
15 years 4 months ago
A systematic approach to the test of combined HW/SW systems
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
Alexander Krupp, Wolfgang Müller 0003
DATE
2010
IEEE
158views Hardware» more  DATE 2010»
15 years 4 months ago
Ultra low-power 12-bit SAR ADC for RFID applications
The design and first measuring results of an ultra-low power 12bit Successive-Approximation ADC for autonomous multi-sensor systems are presented. The comparator and the DAC are o...
Daniela De Venuto, Eduard Stikvoort, David Tio Cas...