The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 06, 2011
Filed:
Dec. 15, 2008
Akio Matsuda, Kawasaki, JP;
Ryosuke Oishi, Kawasaki, JP;
Koichiro Takayama, Kawasaki, JP;
Tsuneo Nakata, Kawasaki, JP;
Rafael Kazumiti Morizawa, Kawasaki, JP;
Akio Matsuda, Kawasaki, JP;
Ryosuke Oishi, Kawasaki, JP;
Koichiro Takayama, Kawasaki, JP;
Tsuneo Nakata, Kawasaki, JP;
Rafael Kazumiti Morizawa, Kawasaki, JP;
Fujitsu Limited, Kawasaki, JP;
Abstract
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.