2720 search results - page 425 / 544 » Design tools for emerging technologies |
127
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
157
click to vote
DAC
2006
ACM
16 years 12 days ago
2006
ACM
This panel discusses the following topics. With the ongoing trend towards more and more digitization in applications ranging from multimedia to telecommunications, there is a big ...
162
click to vote
FDL
2005
IEEE
16 years 1 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
185
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed applications that can adapt at runtime to changing quality of service (QoS) require a model of the expected QoS and of the possible application adaptations. QoS models ...
151
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we describe a comprehensive layout methodology for bonded three-dimensional integrated circuits (3D ICs). In bonded 3D integration technology, parts of a circuit ar...