Timing verification support device generating second circuit data including circuit elements identified from first circuit data and timing verification support method

A timing verification support device comprising:

• a storage device to store first circuit data of a semiconductor integrated circuit;
• a search unit to identify a first circuit element group between sequential circuits coupled across a boundary between a plurality of functional blocks obtained by dividing the semiconductor integrated circuit in units of functions, and a second circuit element group included in a path supplying a clock to the first circuit element group, the first circuit element group being included in the first circuit data;
• and
• a generation unit to generate second circuit data for timing verification relating to the boundary between the plurality of functional blocks, the second circuit data including circuit data of the identified first circuit element group or the identified second circuit element group, and store the second circuit data in the storage device, a data size of the second circuit data being smaller than a data size of the first circuit data,
• wherein the first circuit data includes a first flag indicating a circuit element terminal included in the second circuit data and a second flag indicating whether or not a circuit element including the circuit element terminal is a sequential circuit,
• wherein the data path search unit sets, to an on-state, the first flag of a circuit element terminal included in the first functional block from among circuit element terminals located on a data path from a sequential circuit included in the second functional block to the other circuit, and sets the second flag to an off-state when a circuit element corresponding to the circuit element terminal is a sequential circuit.

A timing verification support method comprising:

• identifying, by a computer, from first circuit data of a semiconductor integrated circuit in a storage device, a plurality of circuit elements including a designated circuit element designated as a timing verification target and at least one circuit element included in a path traced when performing timing verification at a boundary between the designated circuit element and a portion other than the designated circuit element;
• and
• generating second circuit data for the timing verification including circuit data of the identified plurality of circuit elements, a data size of the second circuit data being smaller than a data size of the first circuit data;
• and
• setting, to an on-state, a first flag of a circuit element terminal included in the first functional block from among circuit element terminals located on a data path from a sequential circuit included in the second functional block to the other circuit, and sets a second flag to an off-state when a circuit element corresponding to the circuit element terminal is a sequential circuit,
• wherein the first circuit data includes a first flag indicating a circuit element terminal included in the second circuit data and a second flag indicating whether or not a circuit element including the circuit element terminal is a sequential circuit.

A timing verification support method comprising:

• identifying, by a computer, a first circuit element group between sequential circuits coupled across a boundary between a plurality of functional blocks obtained by dividing the semiconductor integrated circuit in units of functions, and a second circuit element group included in a path supplying a clock to the first circuit element group, the first circuit element group being included in a first circuit data in a storage device;
• generating second circuit data for timing verification relating to the boundary between the plurality of functional blocks, the second circuit data including circuit data of the identified first circuit element group or the identified second circuit element group, and store the second circuit data in the storage device, a data size of the second circuit data being smaller than a data size of the first circuit data;
• and
• setting, to an on-state, a first flag of a circuit element terminal included in the first functional block from among circuit element terminals located on a data path from a sequential circuit included in the second functional block to the other circuit, and sets a second flag to an off-state when a circuit element corresponding to the circuit element terminal is a sequential circuit,
• wherein the first circuit data includes a first flag indicating a circuit element terminal included in the second circuit data and a second flag indicating whether or not a circuit element including the circuit element terminal is a sequential circuit.