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.

Date of Patent:
Feb. 28, 2017

Filed:

Jun. 18, 2015
Applicant:

Cadence Design Systems, Inc., San Jose, CA (US);

Inventors:

Nili Segal, Nirit, IL;

Yael Kinderman, Givat Shmuel, IL;

Hemant Gupta, New Delhi, IN;

Oded Oren, Tel-Aviv, IL;

Assignee:

CADENCE DESIGN SYSTEMS, INC., San Jose, CA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 17/50 (2006.01); G06F 3/0482 (2013.01); G06F 11/26 (2006.01); G06F 11/36 (2006.01); G06F 3/0484 (2013.01); G06F 11/263 (2006.01);
U.S. Cl.
CPC ...
G06F 17/5022 (2013.01); G06F 3/0482 (2013.01); G06F 3/04842 (2013.01); G06F 11/261 (2013.01); G06F 11/263 (2013.01); G06F 11/3692 (2013.01); G06F 17/504 (2013.01); G06F 17/5009 (2013.01); G06F 17/5045 (2013.01); G06F 17/5081 (2013.01); G06F 2217/78 (2013.01);
Abstract

A computer implemented method and system for exclusion of entities from a metric driven verification analysis score. The method includes using a processor, and performing the following steps: parsing a source code simulating a device under test and modeling the source code into a model that includes entities of one or a plurality of metric driven entity types; identifying in the source code entities of the same metric driven entity type of said one or a plurality of metric driven entity types that are logically linked and saving information on the identified entities that are logically linked; receiving from a user a selection of an entity to be excluded from the metric driven verification analysis score; and excluding all instances of the selected entity and all instances of the identified entities that are logically linked to the selected entity from a calculation of the metric driven verification score.


Find Patent Forward Citations

Loading…