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 includes: 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 plurality of circuit elements.