Sciweavers

135 search results - page 11 / 27
» Analog circuit test based on a digital signature
Sort
View
ICCAD
2009
IEEE
159views Hardware» more  ICCAD 2009»
14 years 9 months ago
First steps towards SAT-based formal analog verification
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips...
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
15 years 5 months ago
A mixed analog-digital hybrid for speech enhancement purposes
Abstract— This paper presents and evaluates a hybrid implementation of a low complexity algorithm for speech enhancement, the Adaptive Gain Equalizer (AGE). The AGE is a subband ...
Benny Sallberg, Mattias Dahl, Henrik Akesson, Ingv...
ICCD
1996
IEEE
108views Hardware» more  ICCD 1996»
15 years 4 months ago
Module Generators for a Regular Analog Layout
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...
J. Kampe, C. Wisser, G. Scarbata
ICIP
2004
IEEE
16 years 1 months ago
Authentication of MPEG-4-based surveillance video
The industry is currently starting to use MPEG-4 compressed digital video for surveillance applications. The transition from analog to digital video raises difficulties for using ...
Michael Pramateftakis, Tobias Oelbaum, Klaus Diepo...
ISTCS
1993
Springer
15 years 3 months ago
Analog Computation Via Neural Networks
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...
Hava T. Siegelmann, Eduardo D. Sontag