Verification supporting system
AssigneeFujitsu Limited
InventorsRyosuke Oishi, Akio Matsuda, Koichiro Takayama, Tsuneo Nakata
Life of this patent
Estimating the term…
Abstract
A verification target register to be verified is specified from a configuration of a verification target circuit, and patterns requiring verification are extracted as a coverage standard with regard to the specified verification target register. When the patterns are extracted, a DIRW matrix is prepared to indicate possibly occurring state transitions among four states Declare, Initialize, Read, and Write in the register included in the verification target circuit, and used to decide two coverage standards, a matrix coverage standard and an implementation coverage standard.
Claims2
A computer-readable recording medium storing a program causing a computer to perform:
- recording a DIRW matrix containing:
- possibly occurring state transitions among four states, Declare, Initialize, Read, and Write in a register included in a verification target circuit;
- and information about validity of paths according to the state transitions;
- and
- extracting, when an arbitrary register in the verification target circuit is designated as a verification target register, all the state transitions contained in the DIRW matrix, as a parent population in calculating verification coverage of the verification target register.
A verification supporting apparatus, comprising:
- a recording unit that records a DIRW matrix containing:
- possibly occurring state transitions among four states, Declare, Initialize, Read, and Write, in a register included in a verification target circuit;
- and information on validity of paths according to the state transitions;
- and
- a deciding unit that, when an arbitrary register in the verification target circuit is designated as a verification target register, decides all the state transitions recorded in the recording unit as a coverage standard constituting a parent population in calculating verification coverage of the verification target register.
Dependencies are inferred from the claim text.