DAC
2009
ACM
14 years 4 months ago
2009
ACM
This work discusses a 1024-point, memory-on-logic 3DIC FFT processor for synthetic aperture radar (SAR), sent to
DAC
2009
ACM
14 years 4 months ago
2009
ACM
We propose GRIP, a scalable global routing technique via Integer Programming (IP). GRIP optimizes wirelength and via cost without going through a layer assignment phase. GRIP sele...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
— Digital signal processing applications often require the computation of linear systems. These computations can be considerably expensive and require optimizations for lower pow...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
DAC
2009
ACM
14 years 4 months ago
2009
ACM
A typical hardware development flow starts the verification process concurrently with RTL, but the overall schedule becomes limited by the effort required to complete all the nece...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
Process scaling has given designers billions of transistors to work with. As feature sizes near the atomic scale, extensive variation and wearout inevitably make margining unecono...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
DAC
2009
ACM
14 years 4 months ago
2009
ACM
DAC
2009
ACM
14 years 4 months ago
2009
ACM
The progress of GPU (Graphics Processing Unit) technology opens a new avenue for boosting computing power. This work is an attempt to exploit GPU for accelerating VLSI circuit opt...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...