Computer product for supporting design and verification of integrated circuit

• US 9,378,316 B2
• Filed: 09/11/2015
• Issued: 06/28/2016
• Est. Priority Date: 11/21/2006
• Status: Active Grant

• Current Assignee: Fujitsu Limited
• Original Assignee: Fujitsu Limited
• Inventors: Oishi, Ryosuke, Matsuda, Akio
• Primary Examiner(s): DO, THUAN V
• Application Number:
  US14/851,501
• Publication Number:
  US 20150379177A1
• Time in Patent Office: 291 Days
• Field of Search: 716/107
• US Class Current: 1/1
• CPC Class Codes: G06F 30/30 Circuit design

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.

Claims

1. A non-transitory computer-readable recording medium that stores therein a design and verification support program causing a computer to execute:

acquiring a use case diagram representing a function of an object subject to design and verification and a first activity diagram representing a processing procedure of the object;

analyzing a structure of the use case diagram;

converting the use case diagram to a second activity diagram representing a processing procedure of the object, based on the structure analyzed at the analyzing;

verifying the first activity diagram acquired at the acquiring and the second activity diagram which results from the converting of the use case diagram; and

outputting a result obtained at the verifying.

2. The non-transitory computer-readable recording medium according to claim 1, wherein the verifying checks whether the first activity diagram is included in the second activity diagram.

3. The non-transitory computer-readable recording medium according to claim 1, wherein the verifying compares congruence of a configuration of the first activity diagram and a configuration of the second activity diagram.

4. A non-transitory computer-readable recording medium that stores therein a design and verification support program causing a computer to execute:

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;

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 the first use case diagram acquired at the acquiring and the second use case diagram which results from the converting of the activity diagram; and

outputting a result obtained at the verifying.

5. The non-transitory computer-readable recording medium according to claim 4, wherein the verifying checks congruence of a configuration of the first use case diagram and a configuration of the second use case diagram.

6. The non-transitory computer-readable recording medium according to claim 5, wherein the verifying compares a first use case of the first use case diagram and a second use case of the second use case diagram.

7. The non-transitory computer-readable recording medium according to claim 5, wherein

the first use case diagram includes a plurality of first use cases and the second use case diagram includes a plurality of second use cases, and

the verifying compares a relationship between the first use cases and a relationship between the second use cases.

8. A design and verification support apparatus comprising:

an acquiring unit that acquires a use case diagram representing a function of an object subject to design and verification and a first activity diagram representing a processing procedure of the object;

an analyzing unit that analyzes a structure of the use case diagram;

a converting unit that converts the use case diagram to a second activity diagram representing a processing procedure of the object, based on the structure analyzed by the analyzing unit;

a verifying unit that verifies of the first activity diagram acquired by the acquiring unit and the second activity diagram converted by the converting unit; and

an outputting unit that outputs a verification result obtained by the verifying unit.

9. The apparatus according to claim 8, wherein the verifying unit checks whether the first activity diagram is included in the second activity diagram.

10. The apparatus according to claim 8, wherein the verifying unit compares congruence of a configuration of the first activity diagram and a configuration of the second activity diagram.

11. A design and verification support apparatus comprising:

an acquiring unit that acquires 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;

an analyzing unit that analyzes a structure of the activity diagram acquired by the acquiring unit;

a converting unit that converts the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed by the analyzing unit;

a verifying unit that verifies of the first use case diagram acquired by the acquiring unit and the second use case diagram converted by the converting unit; and

an outputting unit that outputs a verification result obtained by the verifying unit.

12. The apparatus according to claim 11, wherein the verifying unit checks congruence of a configuration of the first use case diagram and a configuration of the second use case diagram.

13. The apparatus according to claim 12, wherein

the first use case diagram includes a plurality of first use cases and the second use case diagram includes a plurality of second use cases, and

the verifying unit compares a relationship between the first use cases and a relationship between the second use cases.

14. The apparatus according to claim 11, wherein the verifying unit compares a first use case of the first use case diagram and a second use case of the second use case diagram.

15. A computer-implemented design and verification support method, comprising:

acquiring a use case diagram representing a function of an object subject to design and verification and a first activity diagram representing a processing procedure of the object;

analyzing a structure of the use case diagram;

converting, by a processor, the use case diagram to a second activity diagram representing a processing procedure of the object, based on the structure analyzed at the analyzing;

verifying the first activity diagram acquired at the acquiring and the second activity diagram which results from the converting of the use case diagram; and

outputting a result obtained at the verifying.

16. The method according to claim 15, wherein the verifying checks whether the first activity diagram is included in the second activity diagram.

17. The method according to claim 15, wherein the verifying compares congruence of a configuration of the first activity diagram and a configuration of the second activity diagram.

18. A design and verification support method, comprising:

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;

converting, by a processor, the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed at the analyzing;

verifying the first use case diagram acquired at the acquiring and the second use case diagram which results from the converting of the activity diagram; and

outputting a result obtained at the verifying.

19. The method according to claim 18, wherein the verifying checks congruence of a configuration of the first use case diagram and a configuration of the second use case diagram.