Sciweavers

TVLSI
2008
123views more  TVLSI 2008»
13 years 11 months ago
Automatic Constraint Based Test Generation for Behavioral HDL Models
The proposed work involves conversion of a given circuit model into a set of constraints and employing constraint solvers to generate tests for it. The method is demonstrated for ...
Siva Kumar Sastry Hari, Vishnu Vardhan Reddy Konda...
NIPS
1992
14 years 21 days ago
Silicon Auditory Processors as Computer Peripherals
Several research groups are implementing analog integrated circuit models of biological auditory processing. The outputs of these circuit models have taken several forms, includin...
John Lazzaro, John Wawrzynek, Misha Mahowald, Mass...
ISVLSI
2002
IEEE
129views VLSI» more  ISVLSI 2002»
14 years 4 months ago
Accelerating Retiming Under the Coupled-Edge Timing Model
Retiming has been shown to be a powerful technique for improving the performance of synchronous circuits. However, even though retiming algorithms of polynomial time complexity ha...
Ingmar Neumann, Kolja Sulimma, Wolfgang Kunz
ISQED
2007
IEEE
187views Hardware» more  ISQED 2007»
14 years 5 months ago
High-Frequency-Measurement-Based Frequency-Variant Transmission Line Characterization and Circuit Modeling for Accurate Signal I
Novel experimental characterization method and circuit modeling for frequency-variant transmission lines are presented. Experimental test patterns are designed and fabricated by u...
Hyunsik Kim, Yungseon Eo