摘要 |
PROBLEM TO BE SOLVED: To minimize the number of constraint set as units for subjects for delay inspection, and achieve further efficiency of delay inspection to each path. SOLUTION: A timing constraint matrix b comprising time constraint to each path between start point side/end point side flip-flops in a combinational circuit is formed, from which constraint set capable of simultaneously satisfying all of reaching timing and demanded timing of the start point side/end point side flip flops(FF) based on the time constraint are determined. Rows of the matrix b represent FF0-5 on the start point side, and columns represent FF6-12 on the end point side. There is no time constraint to a path between 0 and 6, and a time constraint between path 0 and 6 is 15. The constraint set of the row b is, for example, an set of the columns 6, 10, 11, and 12 (excluding 0 of the row of×), and a set of the columns 7, 8, and 9. Before determining the constraint set, contraction and split of the timing constraint matrix are conducted, and minimum covering problems for constraint set candidates are solved.
|