1398 search results - page 186 / 280 » Application-Specific Integrated Circuits |
TPHOL
1999
IEEE
14 years 7 days ago
1999
IEEE
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...
ISPD
1998
ACM
14 years 5 days ago
1998
ACM
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...
ISCA
1996
IEEE
14 years 3 days ago
1996
IEEE
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
ASPLOS
1996
ACM
14 years 3 days ago
1996
ACM
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...
ICCAD
1994
IEEE
14 years 2 days ago
1994
IEEE
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of
exibility, performance and power...