Sciweavers

1343 search results - page 105 / 269
» Bounded-lifetime integrated circuits
Sort
View
100
Voted
ISVLSI
2002
IEEE
129views VLSI» more  ISVLSI 2002»
15 years 5 months ago
Accelerating Retiming Under the Coupled-Edge Timing Model
Retiming has been shown to be a powerful technique for improving the performance of synchronous circuits. However, even though retiming algorithms of polynomial time complexity ha...
Ingmar Neumann, Kolja Sulimma, Wolfgang Kunz
107
Voted
TPHOL
1999
IEEE
15 years 5 months ago
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
89
Voted
ISPD
1998
ACM
93views Hardware» more  ISPD 1998»
15 years 5 months ago
Rectilinear block placement using sequence-pair
With the recent advent of deep sub-micron technology and new packaging schemes such as Multi-Chip Modules(MCMs), integrated circuit components are often not rectangular. Most exis...
Jin Xu, Pei-Ning Guo, Chung-Kuan Cheng
99
Voted
ISCA
1996
IEEE
103views Hardware» more  ISCA 1996»
15 years 5 months ago
Evaluation of Design Alternatives for a Multiprocessor Microprocessor
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
Basem A. Nayfeh, Lance Hammond, Kunle Olukotun
116
Voted
ASPLOS
1996
ACM
15 years 5 months ago
The Case for a Single-Chip Multiprocessor
Advances in IC processing allow for more microprocessor design options. The increasing gate density and cost of wires in advanced integrated circuit technologies require that we l...
Kunle Olukotun, Basem A. Nayfeh, Lance Hammond, Ke...