| Method and apparatus for supporting verification, and computer product -> Monitor Keywords |
|
|
 
Method and apparatus for supporting verification, and computer productRelated Patent Categories: Data Processing: Design And Analysis Of Circuit Or Semiconductor Mask, Circuit Design, Testing Or Evaluating, Design Verification (e.g., Wiring Line Capacitance, Fan-out Checking, Minimum Path Width)Method and apparatus for supporting verification, and computer product description/claimsThe Patent Description & Claims data below is from USPTO Patent Application 20060156262, Method and apparatus for supporting verification, and computer product. Brief Patent Description - Full Patent Description - Patent Application Claims
CROSS-REFERENCE TO RELATED APPLICATIONS [0001] This application is based upon and claims the benefit of priority from the prior Japanese Patent Application No. 2004-381855, filed on Dec. 28, 2004, the entire contents of which are incorporated herein by reference. BACKGROUND OF THE INVENTION [0002] 1) Field of the Invention [0003] The present invention relates to a method and an apparatus for supporting verification in large-scale integration (LSI) design, and a computer product. [0004] 2) Description of the Related Art [0005] In LSI design, improvement of work efficiency by shortening a design period has conventionally been demanded. However, in the LSI design, a verification process, which is rather time consuming, to verify whether an LSI properly operates is essential. Especially for an LSI that is required to be large-scale, to have high performance, to be high-speed, and to be low-power consuming, the verification process is important to maintain high quality. [0006] In the verification process currently carried out, a verification item list in a free format is used. The verification item list is formed in a table, and verification items that are extracted from a specification of an LSI by a third party, such as an outsider, an outside segment, and an outside company, are listed up in the table. A format of the verification item list is not standardized, and is different among third parties. [0007] Moreover, a technology for objectively evaluating necessity and sufficiency of the verification items in the verification item list has not been established. Therefore, there is no numerical ground that the verification items are necessary and sufficient. With such reason, currently, the verification process is carried out while a person that is engaged in the verification process (a designer of the LSI) or other members review whether all necessary verification items are picked up from the specification of the LSI. [0008] On the other hand, an apparatus for supporting the verification process is proposed. In the apparatus, the verification list is automatically obtained by using a computer-readable electronic specification that is written in an object oriented unified modeling language (UML). Such a technology is disclosed in, for example, Japanese Patent Application Laid-Open No. 2004-185592. The apparatus includes a functional-structure-information input unit, a condition input unit, a verification-item-function creating unit, and a verification-item extracting unit. The functional-structure-information input unit inputs functional structure information that indicates functions of a verification target device to be verified whether the verification target device operates properly. The condition input unit inputs conditions relating to input/output sequences to be provided to the verification target device. The verification-item-function creating unit creates a verification item function that completely satisfies the conditions based on the functional structure information. The verification-item extracting unit extracts a combination of elements that form the functional structure information as a verification item, based on the verification item function. [0009] In the above conventional verification process that includes a review process, a result of review for evaluating a quality of the verification items is dependent on experience and ability of the members involved in the review. In other words, in the conventional verification process, the verification items are extracted without reference. [0010] Therefore, in some cases, necessary verification items are missed to be extracted, or unnecessary verification items are undesirably extracted. Thus, the result of the review varies, and verification coverage obtained as a result of the review decreases. In addition, this reduces a yield in actual manufacturing of the LSI. [0011] Moreover, because the review requires 3 to 10 people or more to be involved as review members, schedule arrangement itself can be a trouble for a coordinator, taking time and labor. In addition, if the schedule arrangement does not proceed smoothly, a reviewing period becomes long. Thus, a total time required for the LSI design increases. Furthermore, the review usually requires about two hours to half a day. This not only makes the verification period long, but also causes a delay in other processes in the LSI design because of binding hours constraints for the members. [0012] In the conventional technology disclosed in the patent literature, it is possible to automatically obtain an updated verification item list created based on an updated electronic specification, even if the electronic specification is updated for an additional function of the LSI. However, to identify new verification items added in the updated verification item list, it is necessary to manually compare the verification item list before update of the electronic specification and the updated item list. Therefore, the verification process requires a great deal of time and labor. This makes the design period long, and increases manufacturing cost. SUMMARY OF THE INVENTION [0013] It is an object of the present invention to solve at least the above problems in the conventional technology. [0014] A verification supporting apparatus according to one aspect of the present invention includes an acquiring unit that acquires a first verification-item list in which a verification item that indicates a content of verification for a verification target is listed in an arbitrary format, a functional specification that is an electronic specification including a functional description specifying a function of the verification target, and a sequential specification that is an electronic specification including a sequential description specifying a sequence of the verification target; a keyword extracting unit that extracts a keyword about the verification target from the first verification-item list; a creating unit that creates a second verification-item list that includes verification items in a format in which each of the verification items is formed with the functional description and the sequential description about an output action of the verification target; and a converting unit that converts the first verification-item list into a third verification-item list having a same format as the second verification-item list, based on the second verification-item list and the keyword. [0015] A verification supporting method according to another aspect of the present invention includes acquiring a first verification-item list in which a verification item that indicates a content of verification for a verification target is listed in an arbitrary format, a functional specification that is an electronic specification including a functional description specifying a function of the verification target, and a sequential specification that is an electronic specification including a sequential description specifying a sequence of the verification target; extracting a keyword about the verification target from the first verification-item list; creating a second verification-item list that includes verification items in a format in which each of the verification items is formed with the functional description and the sequential description about an output action of the verification target; and converting the first verification-item list into a third verification-item list having a same format as the second verification-item list, based on the second verification-item list and the keyword. [0016] A computer-readable recording medium according to still another aspect of the present invention stores a verification supporting program that makes a computer execute the above verification supporting method according to the present invention. [0017] The other objects, features, and advantages of the present invention are specifically set forth in or will become apparent from the following detailed description of the invention when read in conjunction with the accompanying drawings. BRIEF DESCRIPTION OF THE DRAWINGS [0018] FIG. 1 is a schematic of a hardware configuration of an apparatus for supporting verification according to an embodiment of the present invention; [0019] FIG. 2 is a block diagram of a functional configuration of the apparatus according to the present embodiment; [0020] FIG. 3 is a block diagram of a system LSI that includes a verification target; Continue reading about Method and apparatus for supporting verification, and computer product... Full patent description for Method and apparatus for supporting verification, and computer product Brief Patent Description - Full Patent Description - Patent Application Claims Click on the above for other options relating to this Method and apparatus for supporting verification, and computer product patent application. ###  How KEYWORD MONITOR works... a FREE service from FreshPatents1. Sign up (takes 30 seconds). 2. Fill in the keywords to be monitored. 3. Each week you receive an email with patent applications related to your keywords. Start now! - Receive info on patent apps like Method and apparatus for supporting verification, and computer product or other areas of interest. ### Previous Patent Application: Method and apparatus for supporting verification of system, and computer product Next Patent Application: Method for designing semiconductor device and method for evaluating reliability thereof Industry Class: Data processing: design and analysis of circuit or semiconductor mask ### FreshPatents.com Support Thank you for viewing the Method and apparatus for supporting verification, and computer product patent info. IP-related news and info Results in 0.18666 seconds Other interesting Feshpatents.com categories: Electronics: Semiconductor , Audio , Illumination , Connectors , Crypto , 174 |
 * Protect your Inventions * US Patent Office filing 
PATENT INFO |
|
