1093 search results - page 36 / 219 » Verifying VLSI Circuits |
ICCSA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we present a parallel tabu search (TS) algorithm for efficient optimization of a constrained multiobjective VLSI standard cell placement problem. The prima...
ASPDAC
1999
ACM
14 years 1 months ago
1999
ACM
: In VLSI circuits with deep sub-micron, the parasitic capacitance from interconnect is a very important factor determining circuit performances such as power and time-delay. The B...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
ICCAD
2005
IEEE
14 years 5 months ago
2005
IEEE
The work in this paper analyses the applicability of carbon nanotube (CNT) bundles as interconnects for VLSI circuits, while taking into account the practical limitations in this ...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
The locomotor controller for walking, running, swimming, and flying animals is based on a Central Pattern Generator (CPG). Models of CPGs as systems of coupled non-linear oscillato...