Sciweavers

479 search results - page 29 / 96
» Transformational Placement and Synthesis
Sort
View
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
14 years 1 months ago
Development and Application of Design Transformations in ForSyDe
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
Ingo Sander, Axel Jantsch, Zhonghai Lu
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
14 years 4 days ago
Synthesis for multiple input wires replacement of a gate for wiring consideration
The alternative wire technique attempts to replace a target wire by another wire without changing the logic functionality. In this paper, we propose two new transformations of rep...
Shih-Chieh Chang, Jung-Cheng Chuang, Zhong-Zhen Wu
ICASSP
2008
IEEE
14 years 2 months ago
Least-squares design of subsampled allpass transformed DFT filter-banks with LTI property
A new design approach for an allpass transformed analysis-synthesis filter-bank (AS FB) with subsampling is proposed, which can be used for adaptive subband processing with non-u...
Heinrich W. Löllmann, Guido Dartmann, Peter V...

Book
4675views
15 years 5 months ago
Mathematics of The Discrete Fourier Transform (DFT) with Audio Applications
"The Discrete Fourier Transform (DFT) can be understood as a numerical approximation to the Fourier transform. However, the DFT has its own exact Fourier theory, which is the ...
Julius O. Smith III
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
14 years 2 months ago
Scalable liveness checking via property-preserving transformations
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
Jason Baumgartner, Hari Mony