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:
May. 04, 2010
Filed:
Feb. 27, 2007
Tarun Garg, Rohini, IN;
Vinaya Kumar Singh, Noida, IN;
Pratik Mahajan, Noida, IN;
Mohamad Shaved, Delhi, IN;
Tarun Garg, Rohini, IN;
Vinaya Kumar Singh, Noida, IN;
Pratik Mahajan, Noida, IN;
Mohamad Shaved, Delhi, IN;
Cadence Design Systems, Inc., San Jose, CA (US);
Abstract
A method and system for handling assertion libraries in verification of a design are disclosed. The method and system include structuring and implementing at least one verification component in at least one of the assertion libraries with at least one standard assertion language supported by at least one verification tool, creating an assertion library element for a specific requirement for verification of the design without dependence on the at least one verification tool for the assertion library element, and resolving assertion status. With the disclosed method and system, visualization of assertion status at various levels of design hierarchy and at verification component level may be achieved, and implementing verification techniques may include optimization techniques during and/or after verification.