1640 search results - page 87 / 328 » Transistor-Level Timing Analysis Using Embedded Simulation |
105
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
With deep-sub-micron (DSM) technology, statistical timing analysis becomes increasingly crucial to characterize signal transmission over global interconnect wires. In this paper, ...
114
click to vote
FMSD
2006
15 years 2 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
120
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...
118
click to vote
IFIPTCS
2000
15 years 6 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
134
click to vote
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...