时序分析中时序约束条件的确立和检验算法

• The Establishment and Verification Algorithm of Timing Constraints in Timing Analysis of Integrated Circuits