Is a
Patent attributes
Patent Jurisdiction
Patent Number
Date of Patent
July 19, 2011
Patent Application Number
12359105
Date Filed
January 23, 2009
Patent Primary Examiner
Patent 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.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.