摘要 |
PURPOSE:To perform accurate inspection by confirming loop parts by forward trace and backward trace in a circuit having the loop parts containing latches and successively adding the arbitrary non-traced latches of the loop part as start points. CONSTITUTION:With respect to a circuit containing loops I, II consisting of through-latches L2-L5, the latches L2-L5 constituting the loops I, II are confirmed by the backward trace from input and output terminals and the objective region of loop analysis is limited to perform setting in stable timing and, thereafter, backward trace starting from the outside latch L1 of the loops I, II or forward trace starting from the latches L2-L5 in the loops I, II is performed. Therefore, the check of timing can be performed by performing backward trace and forward trace starting at the parts of the loops I, II or parts other than the parts of the loops I, II. |