Timing analysis with crosstalk is a fixpoint on a complete lattice

Hai Zhou*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

20 Scopus citations

Abstract

Increasing delay variation due to capacitive and inductive crosstalk has a dramatic impact on deep submicron technologies. It is now impossible to exclude crosstalk from timing analysis. However, timing analysis with crosstalk is a mutual dependence problem since the crosstalk effect in turn depends on the timing behavior of a circuit. In this paper, we establish a theoretical foundation for timing analysis with crosstalk. We show that solutions to the problem are fixpoints on a complete lattice. Based on that, we prove in general the convergence of any iterative approach. We also show that, starting from different initial solutions, an iterative approach will reach different fixpoints. The current prevailing practice, which starts from the worst case solution, will always reach the greatest fixpoint, which is the loosest solution. In order to reach the least fixpoint, we need to start from the best case solution. The convergence rates for both discrete and continuous models are discussed. Based on chaotic iteration and heterogeneous structures of coupled circuits, techniques to speed up iterations are also provided.

Original languageEnglish (US)
Pages (from-to)1261-1269
Number of pages9
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume22
Issue number9
DOIs
StatePublished - Sep 2003

Keywords

  • Crosstalk
  • Lattice theory
  • Noise
  • Static timing analysis

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Timing analysis with crosstalk is a fixpoint on a complete lattice'. Together they form a unique fingerprint.

Cite this