Patent ID: 8572531
Filing Date: 2013-10-29
Classification: G06F

Abstract:
1. A timing verification support device comprising: a storage device to store first circuit data of a semiconductor integrated circuit; a search unit to identify, in the first circuit data, 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 a generation unit to generate second circuit data for the timing verification including circuit data of the indentified plurality of circuit elements, 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 corresponding to 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 located on a data path from a sequential circuit included in the designated circuit element to the other sequential circuit, and sets the second flag to an off-state when a circuit element corresponding to the circuit element terminal is a sequential circuit.