Sciweavers

241 search results - page 42 / 49
» Geometry of synthesis: a structured approach to VLSI design
Sort
View
WEA
2007
Springer
107views Algorithms» more  WEA 2007»
15 years 8 months ago
Trunk Packing Revisited
For trunk packing problems only few approximation schemes are known, mostly designed for the European standard DIN 70020 [6] with equally sized boxes [8, 9, 11, 12]. In this paper ...
Ernst Althaus, Tobias Baumann, Elmar Schömer,...
CORR
2008
Springer
66views Education» more  CORR 2008»
15 years 2 months ago
Tuneable Capacitor based on dual picks profile of the sacrificial layer
In this work, we describe a simple 1-mask sacrificial layer process that allows us to prototype a tuneable capacitor. The process is specially optimized to procure a dual picks pr...
Sofiane Soulimane, Fabrice Casset, François...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 2 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
FCCM
2007
IEEE
115views VLSI» more  FCCM 2007»
15 years 8 months ago
Generating FPGA-Accelerated DFT Libraries
We present a domain-specific approach to generate highperformance hardware-software partitioned implementations of the discrete Fourier transform (DFT) in fixed point precision....
Paolo D'Alberto, Peter A. Milder, Aliaksei Sandryh...
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
15 years 8 months ago
Analysis and modeling of power grid transmission lines
Power distribution and signal transmission are becoming key limiters for chip performance in nanometer era. These issues can be simultaneously addressed by designing transmission ...
J. Balachandran, Steven Brebels, G. Carchon, T. We...