References - Timing - page 265

A. Devgan and C. V. Kashyap. Block-based statistical timing
analysis with uncertainty. In Proceedings of the IEEE/ACM Inter-
national Conference on Computer-Aided Design‚ pages 607-614‚
November 2003.

[DK03]

[DMP96] F. Dartu‚ N. Menezes‚ and L. T. Pileggi. Performance compu-

tation for precharacterized CMOS gates with RC loads. IEEE
Transactions on Computer-Aided Design of Integrated Circuits
and Systems‚ 15(5):544-553‚ May 1996.

A. Daga‚ L. Mize‚ S. Sripada‚ C. Wolff‚ and Q. Wu. Automated
timing model generation. In Proceedings of the. ACM/IEEE De-
sign Automation Conference‚ pages 146-151‚ 2002.

F. Dartu and L. T. Pileggi. Computing worst-case gate delays
due to dominant capacitance coupling. In Proceedings of the
ACM/IEEE Design Automation Conference‚ pages 46-51‚ 1997.

[DP97]

Y. G. DeCastelo-Vide-e-Souza‚ M. Potkonjak. and A. Parker. Op-
timal ILP-based approach for throughput optimization using si-
multaneous algorithm/architecure matching and retiming. In Pro-
ceedings of the ACM/IEEE Design Automation Conference‚ pages
113-118‚ 1995.

[DPP95]

S. W. Director and R. A. Rohrer. The generalized adjoint network
and network sensitivities. IEEE Transactions on Circuit Theory‚
16(3):318-323‚ August 1969.

[DR69]

[DS94] R. B. Deokar and S. S. Sapatnekar. A graph-theoretic approach to

clock skew optimization. In Proceedings of the IEEE International
Symposium on Circuits and Systems‚ pages 1.407-1.410‚ 1994.

[DS95] R. B. Deokar and S. S. Sapatnekar. A fresh look at retiming via

clock skew optimization. In Proceedings of the ACM/IEEE Design
Automation Conference‚ pages 310-315‚ 1995.

[Dun92] P. Duncan et al. Hi-PASS: A computer-aided synthesis system for

maximally parallel digital signal processing ASICS. In Proceedings
of IEEE International Conference on Acoustics‚ Speech and Signal
Processing‚ pages V-605-608‚ 1992.

[DY96] M. P. Desai and Y.-T. Yen. A systematic technique for verifying

critical path delays in a 300MHz Alpha CPU design using circuit
simulation. In Proceedings of the ACM/IEEE Design Automation
Conference‚ pages 125-130‚ 1996.

J. G. Ecker. Geometric programming: methods‚ computations and
applications. SIAM Review‚ 22(3):338-362‚ July 1980.

[Eck80]