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:
Mar. 03, 2020
Filed:
Oct. 30, 2018
Mentor Graphics Corporation, Wilsonville, OR (US);
Charles W. Selvidge, Oakland, CA (US);
Ansuman Prusty, Edison, NJ (US);
Vipul Kulshrestha, Lexington, MA (US);
Kenneth W. Crouch, Cambridge, MA (US);
Matthew L. Dahl, Cambridge, MA (US);
Laurent Vuillemin, Montigny le Bretonneux, FR;
Mentor Graphics Corporation, Wilsonville, OR (US);
Abstract
Various aspects of the present disclosed technology relate to techniques for selective conditional stall for speeding up hardware-based circuit verification. A path-breaking circuit device is inserted into a location of a design path configured to generate a stall signal indicating whether a change of signal between a pair of neighboring clock cycles of a clock signal is detected at the location. The stall signal is used to directly or indirectly suppress, when the change of signal between the pair of neighboring clock cycles is detected, the next state updating for state element models in the hardware model of circuit design. The design path is usually the critical design path. The insertion location is usually selected to be a location where the signal does not change frequently.