摘要 |
A STA tool (25) executes static timing verification of an LSI (11) having a first circuit block (12) and a second circuit block (13). The first circuit block (12) operates on an external clock signal (CLK1) and generates an internal clock signal (CLK2), whereas the second circuit block (12) operates on the internal clock signal (CLK2), and transfers data between the same and the first circuit block (12). The timing of an event occurring in the first circuit block (12) based on the external clock signal (CLK1) is converted into the timing in terms of the internal clock signal (CLK2), and compared against the timing of the data transfer from the second circuit block (12). The STA operates substantially without additional information after some clock information is supplied before starting operation. <IMAGE> |