Sciweavers

40 search results - page 4 / 8
» ats 2005
Sort
View
ATS
2005
IEEE
132views Hardware» more  ATS 2005»
14 years 1 months ago
Concurrent Test Generation
We define a new type of test, called “concurrent test,” for a combinational circuit. Given a set of target faults, a concurrent-test is an input vector that detects all (or m...
Vishwani D. Agrawal, Alok S. Doshi
ICFP
2005
ACM
14 years 7 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
ATS
2005
IEEE
191views Hardware» more  ATS 2005»
14 years 1 months ago
Low Transition LFSR for BIST-Based Applications
Abstract—This paper presents a low transition test pattern generator, called LT-LFSR, to reduce average and peak power of a circuit during test by reducing the transitions within...
Mohammad Tehranipoor, Mehrdad Nourani, Nisar Ahmed
ATS
2005
IEEE
84views Hardware» more  ATS 2005»
14 years 1 months ago
Current Testing for Nanotechnologies: A Demystifying Application Perspective.
: This paper addresses the challenges imposed on current testing with the advent of Nanotechnologies. It shows why existing measurement solutions embedded in ATE systems are not ad...
Hans A. R. Manhaeve
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
14 years 1 months ago
A Methodology to Compute Bounds on Crosstalk Effects in Arbitrary Interconnects
In this paper, we present a methodology that uses the moments of a generic crosstalk pulse signal to derive upper bounds on the amplitude of crosstalk pulse in arbitrary interconn...
Wichian Sirisaengtaksin, Sandeep K. Gupta