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:
Mar. 10, 2015

Filed:

Aug. 29, 2013
Applicant:

Mentor Graphics Corporation, Wilsonville, OR (US);

Inventors:

Verma Kumar Gaurav, San Jose, CA (US);

Doug Warmke, Cupertino, CA (US);

Assignee:

Mentor Graphics Corporation, Wilsonville, OR (US);

Attorney:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 17/50 (2006.01);
U.S. Cl.
CPC ...
G06F 17/5081 (2013.01);
Abstract

This application discloses simulating a circuit design with a test bench and determining an expression coverage in the circuit design by the test bench with a rapid expression coverage process. The rapid expression coverage process can include dividing an expression in the circuit design into multiple sub-expressions, and separately evaluating each of the multiple sub-expressions during simulation of the circuit design to detect whether first operands in the corresponding sub-expressions receive each available input state, while second operands in the corresponding sub-expressions are in a non-masking state. The rapid expression coverage can generate an expression coverage metric to indicate whether expressions in the circuit design were covered by the test bench during the simulation of the circuit, for example, without having to generate truth-tables that include each possible input vector for each expression.


Find Patent Forward Citations

Gaurav, Verma. (2015). Rapid expression coverage (U.S. Patent No. 8978002). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/8978002

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…