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:
Jan. 29, 2013
Filed:
Feb. 09, 2010
Ryosuke Oishi, Kawasaki, JP;
Praveen Kumar Murthy, Fremont, CA (US);
Rafael Kazumiti Morizawa, Kawasaki, JP;
Ryosuke Oishi, Kawasaki, JP;
Praveen Kumar Murthy, Fremont, CA (US);
Rafael Kazumiti Morizawa, Kawasaki, JP;
Fujitsu Limited, Kawasaki, JP;
Abstract
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.