Fujitsu Corporation

Rafael Kazumiti Morizawa

Ryosuke Oishi

Tsuneo Nakata

Akio Matsuda

Praveen Murthy

Koichiro Takayama

Shinya Kuwamura

Ryousuke Oishi

A verification support apparatus includes an identifying unit that, by using a pre-change specification and a post-change specification given before and after a specification change in a subject to be verified, identifies an area that has changed from among a plurality of specification items included in the post-change specification and a selecting unit that selects a specification item from among the areas identified by the identifying unit. The verification support apparatus further includes a searching unit that, by referring a transition graph concerning the specification items included in the post-change specification and by tracing specification items as origins of transitions from a starting point that is the specification item selected by the selecting unit, searches for a route made up of specification items affected by the specification change; and an output unit that outputs a search result of the searching unit.

Verification support apparatus, verification support method, and computer product

In a design verification apparatus, a priority resolver selects one or more verification datasets for verifying a procedure described in a design specification of a target product, in response to a verification request for that procedure. The priority resolver determines a priority score of each parameter that the selected verification datasets specify as a constraint on the procedure. A verification order resolver determines a verification order of the selected verification datasets, based on the priority scores determined by the priority resolver. An output processor produces data identifying the verification datasets, together with indication of the determined verification order.

Verification apparatus and design verification program

Hardware blocks respectively of an arbitrary access origin and an arbitrary access destination that are mutually accessible are extracted from among a plurality of hardware blocks constituting a bus system to be verified, and a path reaching from the access-origin hardware block to the access-destination hardware block is searched for. For each path found, a verification scenario is generated to verify transactions of the access-origin hardware block for a case where access to an address range assigned to the access-destination hardware block occurs, and the verification scenario is output being correlated with the path that corresponds thereto.

Verification-scenario generating apparatus, verification-scenario generating method, and computer product

In a verification supporting apparatus, a recording unit records a DIRW matrix in which a state transition possibly occurring in a register of a circuit to be verified and information concerning validity of a path corresponding to the state transition are set and an acquiring unit acquires a control data flow graph that includes a control flow graph having a data flow graph written therein. When a register is designated for verification, a data flow graph having described therein the designated register is extracted from the control data flow graph. From the data flow graph extracted, a path indicating the flow of data concerning the register is extracted. The state transition of the path extracted is identified and if the state transition is determined to be is set in the DIRW matrix, information concerning the validity set in the DIRW matrix and the path are correlated, and output.

Verification supporting apparatus, verification supporting method, and computer product

A program, an apparatus and a method verify a program that efficiently verifies a concurrent/parallel program, allowing interactively debugging the current/parallel program. The program causes a computer to execute a detection step that detects the function that has been altered and the function that uses a shared variable influenced by the alteration out of the program to be verified before and after the alteration and also detects the part that is influenced by the alteration, the control structure part and the other parts, a model generation step that generates a model on the basis of the outcome of the detection in the detection step and a verification step that verifies the program to be verified after the alteration by comparing the model of the program to be verified before the alteration and the model of the program to be verified after the alteration.

Growing community of inventors

Kawasaki, Japan

Rafael Kazumiti Morizawa