Sciweavers

1446 search results - page 104 / 290
» Formal analysis of hardware requirements
Sort
View
ICCAD
2007
IEEE
125views Hardware» more  ICCAD 2007»
14 years 6 months ago
A methodology for timing model characterization for statistical static timing analysis
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
Zhuo Feng, Peng Li
DATE
2008
IEEE
204views Hardware» more  DATE 2008»
14 years 3 months ago
Deep Submicron Interconnect Timing Model with Quadratic Random Variable Analysis
Shrinking feature sizes and process variations are of increasing concern in modern technology. It is urgent that we develop statistical interconnect timing models which are harmon...
Jun-Kuei Zeng, Chung-Ping Chen
DSD
2006
IEEE
90views Hardware» more  DSD 2006»
14 years 3 months ago
Global Analysis of Resource Arbitration for MPSoC
Modern day applications require use of multi-processor systems for reasons of scalability and power efficiency. As more and more applications are integrated on a single device, m...
Akash Kumar, Bart Mesman, Henk Corporaal, Jef L. v...
ICCAD
1999
IEEE
105views Hardware» more  ICCAD 1999»
14 years 1 months ago
Noise analysis of non-autonomous radio frequency circuits
In this paper we consider the important problem of noise analysis of non-autonomous nonlinear RF circuits in presence of input signal phase noise. We formulate this problem as a s...
Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
14 years 6 months ago
An accurate sparse matrix based framework for statistical static timing analysis
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
Anand Ramalingam, Gi-Joon Nam, Ashish Kumar Singh,...