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:
Aug. 20, 2019
Filed:
Jul. 23, 2015
Synopsys, Inc., Mountain View, CA (US);
Maher Mneimneh, San Jose, CA (US);
Scott Cotton, Saint Martin d'Heres, FR;
Mohamed Shaker Sarwary, San Diego, CA (US);
Fahim Rahim, Lyons, FR;
Sudeep Mondal, New Delhi, IN;
Paras Mal Jain, Greater Noida, IN;
Synopsys, Inc., Mountain View, CA (US);
Abstract
A system and method for managing and composing verification engines and simultaneously applying such compositions to verify properties with design constraints allocates computing resources to verification engines based upon properties to be checked and optionally a user-specified budget. The verification engines are run in order to verify a received register transfer level (RTL) design description of a circuit according to user-specified assertions and constraints received by the system. The particular verification engines to be run are selected from a database of such engines and a run order is designated in sequential, parallel and distributed flows.