| 发明名称 | Computer product for supporting design and verification of integrated circuit | ||
| 摘要 | Design and verification support related to integrated circuits that includes acquiring a first use case diagram representing a function of an object subject to design and verification and an activity diagram representing a processing procedure of the object; analyzing a structure of the activity diagram acquired at the acquiring step; converting the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed at the analyzing; verifying uniformity of the first use case diagram and the second use case diagram; and outputting a verification result obtained at the verifying uniformity. | ||
| 申请公布号 | US9177088(B2) | 申请公布日期 | 2015.11.03 |
| 申请号 | US201213730102 | 申请日期 | 2012.12.28 |
| 申请人 | FUJITSU LIMITED | 发明人 | Oishi Ryosuke;Matsuda Akio |
| 分类号 | G06F17/50 | 主分类号 | G06F17/50 |
| 代理机构 | Staas & Halsey LLP | 代理人 | Staas & Halsey LLP |
| 主权项 | 1. A non-transitory computer-readable recording medium that stores therein a design and verification support program causing a computer to execute: acquiring an activity diagram representing a processing procedure of an object subject to design and verification; analyzing a structure of the activity diagram; converting the activity diagram to a use case diagram representing a function of the object subject to design and verification, based on the structure analyzed at the analyzing; and outputting the use case diagram converted at the converting. | ||
| 地址 | Kawasaki JP | ||