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:
Oct. 27, 2026

Filed:

Mar. 01, 2022
Applicant:

Synopsys, Inc., Mountain View, CA (US);

Inventors:

Gaurav Pratap, Noida, IN;

Bhaskar Pal, Bangalore, IN;

Mohit Kumar, New Delhi, IN;

Assignee:

Synopsys, Inc., Sunnyvale, CA (US);

Attorney:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 30/33 (2020.01); G06F 111/04 (2020.01); G06F 119/06 (2020.01);
U.S. Cl.
CPC ...
G06F 30/33 (2020.01); G06F 2111/04 (2020.01); G06F 2119/06 (2020.01);
Abstract

A system performs efficient verification of a circuit design. The system receives a circuit design including circuit blocks. The system identifies some of the circuit blocks as modeled circuit blocks. The system generates simplified reduced models (SRMs) for the modeled circuit blocks. A simplified reduced model includes circuit details sufficient for static verification of the circuit design but excludes some of the circuit details for the modeled circuit block. The system performs static verification of the circuit design using the simplified reduced models.


Find Patent Forward Citations

Pratap, Gaurav. (2026). Automated design hierarchy identification and simplified reduced model generation for static verification of circuit designs (U.S. Patent No. 12775764). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/12775764

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

Loading…