Computer-readable recording medium storing verification support program, verification support apparatus, and verification support method
AssigneeFujitsu Limited
InventorsRyosuke Oishi, Atsushi Ike
Life of this patent
Estimating the term…
Loading patent…
AssigneeFujitsu Limited
InventorsRyosuke Oishi, Atsushi Ike
Estimating the term…
A verification support apparatus and method are provided. The verification support apparatus executing a simulation controlling a communication between a first hardware model in communication with a bus model and adapted to the same first specifications as the bus model, and a second hardware model in communication with the bus model and adapted to second specifications differing from those of the bus model, the apparatus includes a reception unit that receives data based on the second specifications from the second hardware model, a conversion unit that, based on the first specifications, converts the data received by the reception unit into data adapted to the first specifications; and a transmission unit that transmits the data converted by the conversion unit, via the bus model, to a hardware model which is a transmission destination.
A computer-readable recording medium storing a verification support program, that causing a computer executing a simulation controlling a communication between a first hardware model in communication with a bus model and adapted to the same first specifications as the bus model, and a second hardware model in communication with the bus model and adapted to second specifications differing from those of the bus model, the verification support program causing the computer to execute:
A verification support apparatus executing a simulation controlling a communication between a first hardware model in communication with a bus model and adapted to the same first specifications as the bus model, and a second hardware model in communication with the bus model and adapted to second specifications differing from those of the bus model, the apparatus comprising:
A verification support method executed by a computer executing a simulation controlling a communication between a first hardware model in communication with a bus model and adapted to the same first specifications as the bus model, and a second hardware model in communication with the bus model and adapted to second specifications differing from those of the bus model, the method comprising:
Dependencies are inferred from the claim text.