5762 search results - page 705 / 1153 » R-tree: A Hardware Implementation |
173
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
158
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
—To overcome the energy-efficiency limitations imposed by finite sub-threshold slope in CMOS transistors, this paper explores the design of integrated circuits based on nanoelect...
189
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
201
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
144
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
—We present in this paper a fast and stable global router called NTHU-Route 2.0 that improves the solution quality and runtime of a state-of-the-art router, NTHU-Route, by the fo...