Timing optimization by gate resizing and critical path identification
暂无分享,去创建一个
[1] André Ivanov,et al. Dynamic testability measures for ATPG , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[2] Alberto L. Sangiovanni-Vincentelli,et al. Timing Analysis in a Logic Synthesis Environment , 1989, 26th ACM/IEEE Design Automation Conference.
[3] Robert K. Brayton,et al. Timing optimization of combinational logic , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.
[4] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .
[5] Sachin S. Sapatnekar,et al. A convex optimization approach to transistor sizing for CMOS circuits , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[6] Hugo De Man,et al. Timing verification using statically sensitizable paths , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[7] David Hung-Chang Du,et al. A path selection algorithm for timing analysis , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..
[8] Giovanni De Micheli,et al. Performance-Oriented Synthesis of Large-Scale Domino CMOS Circuits , 1987, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[9] Robert B. Hitchcock,et al. Timing Analysis of Computer Hardware , 1982, IBM J. Res. Dev..
[10] Resve A. Saleh,et al. Incremental techniques for the identification of statically sensitizable critical paths , 1991, 28th ACM/IEEE Design Automation Conference.
[11] Jyuo-Min Shyu,et al. A new approach to solving false path problem in timing analysis , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[12] Saburo Muroga,et al. Timing optimization for multi-level combinational networks , 1990, DAC '90.
[13] David Hung-Chang Du,et al. Efficient Algorithms for Extracting the K Most Critical Paths in Timing Analysis , 1989, 26th ACM/IEEE Design Automation Conference.
[14] David Hung-Chang Du,et al. On the General False Path Problem in Timing Analysis , 1989, 26th ACM/IEEE Design Automation Conference.
[15] David Hung-Chang Du,et al. Circuit enhancement by eliminating long false paths , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[16] Robert K. Brayton,et al. Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network , 1989, 26th ACM/IEEE Design Automation Conference.
[17] Sharad Malik,et al. Delay computation in combinational logic circuits: theory and algorithms , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[18] T. I. Kirkpatrick,et al. PERT as an aid to logic design , 1966 .
[19] David Hung-Chang Du,et al. Critical path selection for performance optirnization , 1991, 28th ACM/IEEE Design Automation Conference.
[20] Michael Burstein,et al. Timing Influenced Layout Design , 1985, DAC 1985.
[21] Hugo De Man,et al. Static Timing Analysis of Dynamically Sensitizable Paths , 1989, 26th ACM/IEEE Design Automation Conference.
[22] John K. Ousterhout. A Switch-Level Timing Verifier for Digital MOS VLSI , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[23] Sung-Mo Kang,et al. Design Automation for Timing-Driven Layout Synthesis , 1992 .
[24] Reinaldo A. Bergamaschi,et al. The effects of false paths in high-level synthesis , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[25] Prabhakar Goel,et al. An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits , 1981, IEEE Transactions on Computers.
[26] Carlo H. Séquin,et al. ATV: an abstract timing verifier , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..
[27] L. H. Goldstein,et al. Controllability/observability analysis of digital circuits , 1978 .
[28] Robert B. Hitchcock,et al. Timing verification and the timing analysis program , 1988, DAC 1982.
[29] William W. Cohen,et al. Synthesis and Optimization of Multilevel Logic under Timing Constraints , 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[30] Jacob A. Abraham,et al. Test generation for digital systems , 1986 .