Sciweavers

209

DAC
2005
ACM

129views Computer Architecture» more DAC 2005»

Incremental exploration of the combined physical and behavioral design space

16 years 8 months ago

Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...

Zhenyu (Peter) Gu, Jia Wang, Robert P. Dick, Hai Z...

claim paper

Read More »

172

click to vote

DAC
2005
ACM

126views Computer Architecture» more DAC 2005»

Minimising buffer requirements of synchronous dataflow graphs with model checking

16 years 8 months ago

Download www.ics.ele.tue.nl

Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...

Marc Geilen, Twan Basten, Sander Stuijk

claim paper

Read More »

178

click to vote

DAC
2005
ACM

117views Computer Architecture» more DAC 2005»

Beyond safety: customized SAT-based model checking

16 years 8 months ago

Download lcs.ios.ac.cn

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

170

click to vote

DAC
2005
ACM

125views Computer Architecture» more DAC 2005»

Architecture-adaptive range limit windowing for simulated annealing FPGA placement

16 years 8 months ago

Download www.ee.washington.edu

Previous research has shown both theoretically and practically that simulated annealing can greatly benefit from the incorporation of an adaptive range limiting window to control ...

Kenneth Eguro, Scott Hauck, Akshay Sharma

claim paper

Read More »

102

click to vote

DAC
2005
ACM

88views Computer Architecture» more DAC 2005»

From myth to methodology: cross-layer design for energy-efficient wireless communication

16 years 8 months ago