5247 search results - page 338 / 1050 » The Generalized A* Architecture |
184
Voted
DAC
2005
ACM
15 years 9 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
204
Voted
DAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a novel synthesis algorithm that reduces the area needed for implementing multiplexers on an FPGA by an average of 18%. This is achieved by reducing the number...
219
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
195
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a new Green function-based approach for substrate parasitic extraction in substrates with inhomogeneous layers. This new formulation allows analysis of noise c...
243
click to vote
DAC
2008
ACM
15 years 9 months ago
2008
ACM
The performance advantages in parallel ring-based VCOs are explored. When the number of VCOs is doubled, the parallel VCOs enhance phase noise by 3dB, and the within-chip process-...