Verification support device, verification support method, verification support program and recording medium

Abstract

In a verification support device (1500), an input section (1502) accepts an input of an unverified specification description representing an unverified design object composed of unverified model elements. A search section (1503) searches a verified specification description identical or similar to the unverified specification description input by the input section (1502), according to unverified model elements and verified model elements from the verified specification description representing a verified design object composed of verified model elements. According to the results of search performed by the search section (1503), a logic verification content extraction section (1504) extracts a logic verification content performed for the verified design object. An output section (1505) outputs the logic verification content extracted by the logic verification content extraction section (1504).

Description

technical field [0001] The present invention relates to a verification support device, a verification support method, a verification support program, and a recording medium recording the program, which support logic verification operations in LSI (large scale integration) design. Background technique [0002] In LSI design, when performing logic verification of a design object system composed of hardware or software, the method of logic verification, the data and environment required for logic verification, and the acquisition of these (development, purchase, installation) Expenses are generally estimated by experienced personnel such as heads of various departments based on their experience, and the logic verification plan is determined accordingly. [0003] However, the logic verification work to verify whether the LSI is working properly is indispensable, especially for LSIs that require large-scale, high-function, high-speed, and low power consumption. In order to mainta...

AI Technical Summary

Problems solved by technology

Therefore, there is a problem that when the logic verification of the system designed in one department is the same or similar to the information related to the logic verification designed by other departments in the past, it is difficult for the designers of one department to find out the information related to the logic verification of other departments. information, so it cannot be used universally, so that information related to logic verification cannot be shared between departments

Images