Sciweavers

435 search results - page 19 / 87
» Timing analysis of asynchronous circuits using timed automat...
Sort
View
114
Voted
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 3 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
111
Voted
DAC
2004
ACM
16 years 4 months ago
Statistical timing analysis in sequential circuit for on-chip global interconnect pipelining
With deep-sub-micron (DSM) technology, statistical timing analysis becomes increasingly crucial to characterize signal transmission over global interconnect wires. In this paper, ...
Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen
143
Voted
ASPDAC
2006
ACM
157views Hardware» more  ASPDAC 2006»
15 years 9 months ago
Delay modeling and static timing analysis for MTCMOS circuits
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...
Naoaki Ohkubo, Kimiyoshi Usami
108
Voted
DATE
2005
IEEE
132views Hardware» more  DATE 2005»
15 years 9 months ago
Statistical Timing Analysis using Levelized Covariance Propagation
Variability in process parameters is making accurate timing analysis of nano-scale integrated circuits an extremely challenging task. In this paper, we propose a new algorithm for...
Kunhyuk Kang, Bipul Chandra Paul, Kaushik Roy
124
Voted
VLSID
2005
IEEE
150views VLSI» more  VLSID 2005»
16 years 4 months ago
Multivariate Normal Distribution Based Statistical Timing Analysis Using Global Projection and Local Expansion
This paper employs general multivariate normal distribution to develop a new efficient statistical timing analysis methodology. The paper presents the theoretical framework of the...
Baohua Wang, Pinaki Mazumder