Sciweavers

203 search results - page 40 / 41
» Test Generation and Fault Localization for Quantum Circuits
Sort
View
VTS
2006
IEEE
133views Hardware» more  VTS 2006»
15 years 5 months ago
PEAKASO: Peak-Temperature Aware Scan-Vector Optimization
— In this paper, an algorithm for scan vector ordering, PEAKASO, is proposed to minimize the peak temperature during scan testing. Given a circuit with scan and the scan vectors,...
Minsik Cho, David Z. Pan
BC
2008
68views more  BC 2008»
14 years 12 months ago
Neural control of Caenorhabditis elegans forward locomotion: the role of sensory feedback
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...
John Bryden, Netta Cohen
ITC
2003
IEEE
197views Hardware» more  ITC 2003»
15 years 5 months ago
Critical Timing Analysis in Microprocessors Using Near-IR Laser Assisted Device Alteration (LADA)
A scalable laser-based timing analysis technique we call laser assisted device alteration (LADA) is introduced for the rapid isolation and analysis of defect-free performance limi...
Jeremy A. Rowlette, Travis M. Eiles
VLSID
2008
IEEE
117views VLSI» more  VLSID 2008»
16 years 4 days ago
Single Event Upset: An Embedded Tutorial
Abstract-- With the continuous downscaling of CMOS technologies, the reliability has become a major bottleneck in the evolution of the next generation systems. Technology trends su...
Fan Wang, Vishwani D. Agrawal
DAC
2010
ACM
15 years 3 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia