Sciweavers

18 search results - page 3 / 4
» Capturing crosstalk-induced waveform for accurate static tim...
Sort
View
DAC
2005
ACM
13 years 7 months ago
How accurately can we model timing in a placement engine?
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
Amit Chowdhary, Karthik Rajagopal, Satish Venkates...
VLSID
2002
IEEE
129views VLSI» more  VLSID 2002»
14 years 6 months ago
Efficient Generation of Delay Change Curves for Noise-Aware Static Timing Analysis
In this paper, we explore the concept of using analytical models to efficiently generate delay change curves (DCCs) that can then be used to characterize the impact of noise on an...
Kanak Agarwal, Yu Cao, Takashi Sato, Dennis Sylves...
ISQED
2007
IEEE
151views Hardware» more  ISQED 2007»
14 years 1 days ago
Gate Level Statistical Simulation Based on Parameterized Models for Process and Signal Variations
We propose gate level statistical simulation to bridge the gap between the most accurate Monte Carlo SPICE simulation and the most efficient circuit level statistical static timi...
Bao Liu
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
13 years 11 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
DATE
2005
IEEE
169views Hardware» more  DATE 2005»
13 years 11 months ago
Context-Aware Scheduling Analysis of Distributed Systems with Tree-Shaped Task-Dependencies
In this paper we present a new technique which exploits timing-correlation between tasks for scheduling analysis in multiprocessor and distributed systems with tree-shaped task-de...
Rafik Henia, Rolf Ernst