Pessimism reduction in static timing analysis using interdependent setup and hold times

A methodology is proposed for interdependent setup time and hold time characterization of sequential circuits. Integrating the methodology into an industrial sign-off static timing analysis tool is described. The proposed methodology prevents optimism and reduces unnecessary pessimism, both of which exist due to independent characterization. Furthermore, the tradeoff between interdependent setup and hold times is exploited to significantly reduce slack violations. These benefits are validated using industrial circuits and tools

[1]  H. G. Eggleston Convexity by H. G. Eggleston , 1958 .

[2]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[3]  Daniela De Venuto,et al.  International Symposium on Quality Electronic Design , 2005, Microelectron. J..

[4]  Vladimir Stojanovic,et al.  Comparative analysis of master-slave latches and flip-flops for high-performance and low-power systems , 1999, IEEE J. Solid State Circuits.

[5]  R. W. Phelps Advanced library characterization for high-performance ASIC , 1991, [1991] Proceedings Fourth Annual IEEE International ASIC Conference and Exhibit.

[6]  Masakazu Shoji,et al.  Theory of CMOS Digital Circuits and Circuit Failures , 1992 .

[7]  D. Patel CHARMS: characterization and modeling system for accurate delay prediction of ASIC designs , 1990, IEEE Proceedings of the Custom Integrated Circuits Conference.

[8]  W. Roethig Library characterization and modeling for 130 nm and 90 nm SoC design , 2003, IEEE International [Systems-on-Chip] SOC Conference, 2003. Proceedings..

[9]  Franco P. Preparata,et al.  Computational Geometry , 1985, Texts and Monographs in Computer Science.

[10]  Franco P. Preparata,et al.  Sequencing-by-hybridization revisited: the analog-spectrum proposal , 2004, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[11]  Philip D. Plowright,et al.  Convexity , 2019, Optimization for Chemical and Biochemical Engineering.