Timing Issues In The Specification And Synthesis Of Digital Systems 2002: Monterey, CA, USA

@proceedings{DBLP:conf/tau/2002,
  editor    = {David P. LaPotin and
               Charles J. Alpert and
               John Lillis},
  title     = {Proceedings of the 8th ACM/IEEE International Workshop on Timing
               Issues in the Specification and Synthesis of Digital Systems,
               Monterey, California, USA, December 2-3, 2002},
  booktitle = {Timing Issues in the Specification and Synthesis of Digital Systems},
  publisher = {ACM},
  year      = {2002},
  isbn      = {1-58113-526-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Process variation

• Louis Scheffer:
  Explicit computation of performance as a function of process variation. 1-8
  Electronic Edition (ACM DL) BibTeX
• Joni Dambre, Dirk Stroobandt, Jan Van Campenhout:
  A probabilistic approach to clock cycle prediction. 9-15
  Electronic Edition (ACM DL) BibTeX
• Aseem Agarwal, David Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula:
  Statistical timing analysis using bounds and selective enumeration. 16-21
  Electronic Edition (ACM DL) BibTeX
• Min Zhao, Kaushik Gala, Vladimir Zolotov, Yuhong Fu, Rajendran Panda, R. Ramkumar, Bhuwan K. Agrawal:
  Worst case clock skew under power supply variations. 22-28
  Electronic Edition (ACM DL) BibTeX
• Aseem Agarwal, David Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula:
  Statistical timing analysis using bounds and selective enumeration. 29-36
  Electronic Edition (ACM DL) BibTeX

New directions in timing analysis

• Kurt Keutzer, Michael Orshansky:
  From blind certainty to informed uncertainty. 37-41
  Electronic Edition (ACM DL) BibTeX
• Avi Efrati, Moshe Kleyner:
  Timing analysis challenges for high speed CPUs at 90nm and below. 42
  Electronic Edition (ACM DL) BibTeX

Topics in timing

• Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer:
  Minimum-power retiming for dual-supply CMOS circuits. 43-49
  Electronic Edition (ACM DL) BibTeX
• Ali Dasdan:
  Efficient algorithms for debugging timing constraint violations. 50-56
  Electronic Edition (ACM DL) BibTeX
• Chandramouli V. Kashyap, Charles J. Alpert, Frank Liu, Anirudh Devgan:
  PERI: a technique for extending delay and slew metrics to ramp inputs. 57-62
  Electronic Edition (ACM DL) BibTeX
• Kanak Agarwal, Dennis Sylvester, David Blaauw:
  A library compatible driving point model for on-chip RLC interconnects. 63-69
  Electronic Edition (ACM DL) BibTeX
• Vasant B. Rao, Jeffrey Soreff, Ravichander Ledalla, Fred L. Yang:
  Aggressive crunching of extracted RC netlists. 70-77
  Electronic Edition (ACM DL) BibTeX

Issues in crosstalk

• Hai Zhou:
  Clock schedule verification with crosstalk. 78-83
  Electronic Edition (ACM DL) BibTeX
• Bhavana Thudi, David Blaauw:
  Efficient switching window computation for cross-talk noise. 84-91
  Electronic Edition (ACM DL) BibTeX
• Jun Chen, Lei He:
  Determination of worst-case crosstalk noise for non-switching victims in GHz+ buses. 92-97
  Electronic Edition (ACM DL) BibTeX
• Himanshu Kaul, Dennis Sylvester, David Blaauw:
  Active shielding of RLC global interconnects. 98-104
  Electronic Edition (ACM DL) BibTeX

Emerging technologies and trends

• Brian A. Floyd, Xiaoling Guo, James Caserta, Timothy O. Dickson, Chih-Ming Hung, Kihong Kim, K. O. Kenneth:
  Wireless interconnects for clock distribution. 105-108
  Electronic Edition (ACM DL) BibTeX

Design for manufacturability

• Duane S. Boning, Joseph Panganiban, Karen Gonzalez-Valentin, Sani R. Nassif, Chandler McDowell, Anne E. Gattiker, Frank Liu:
  Test structures for delay variability. 109
  Electronic Edition (ACM DL) BibTeX

Optimization

• Baris Taskin, Ivan S. Kourtev:
  Performance optimization of single-phase level-sensitive circuits using time borrowing and non-zero clock skew. 111-118
  Electronic Edition (ACM DL) BibTeX
• Haydar Saaied, Dhamin Al-Khalili, Asim J. Al-Khalili, Mohamed Nekili:
  Quadratic deferred-merge embedding algorithm for zero skew clock distribution network. 119-125
  Electronic Edition (ACM DL) BibTeX
• Paul I. Pénzes, Mika Nyström, Alain J. Martin:
  Transistor sizing of energy-delay--efficient circuits. 126-133
  Electronic Edition (ACM DL) BibTeX
• Ei Ando, Masafumi Yamashita, Toshio Nakata, Yusuke Matsunaga:
  The statistical longest path problem and its application to delay analysis of logical circuits. 134-139
  Electronic Edition (ACM DL) BibTeX
• Sangyun Kim, Sunan Tugsinavisut, Peter A. Beerel:
  Reducing probabilistic timed petri nets for asynchronous architectural analysis. 140-147
  Electronic Edition (ACM DL) BibTeX