141
Voted
ESOP
2004
Springer
16 years 4 days ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
155
Voted
ISCAS
2005
IEEE
16 years 10 days ago
2005
IEEE
— In this paper, a novel approach is presented for designing multiplier-free state-space digital filters. The multiplier-free design is obtained by finding power-of-2 coeffici...
163
Voted
APCCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— This paper proposes a new expression of frequency transformation for state-space digital filters. The proposed frequency transformation has the property of preserving ...