Computer product for supporting design and verification of integrated circuit
AssigneeFujitsu Limited
InventorsRyosuke Oishi, Akio Matsuda
Life of this patent
Estimating the term…
Abstract
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.
Claims3
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.
A design and verification support apparatus comprising:
- an acquiring unit that acquires an activity diagram representing a processing procedure of an object subject to design and verification;
- an analyzing unit that analyzes a structure of the activity diagram;
- a converting unit that converts the activity diagram to a use case diagram representing a function of the object subject to design and verification, based on the structure analyzed by the analyzing unit;
- and
- an outputting unit that outputs the use case diagram converted by the converting unit.
A design and verification support method implemented by a computer hardware, the method comprising:
- 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.
Dependencies are inferred from the claim text.