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:
Jun. 24, 2025

Filed:

May. 23, 2022
Applicant:

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

Inventors:

Florent Sébastien Marc Emmanuel Claude Duru, Shrewsbury, MA (US);

Gilles Pierre Rémond, Antony, FR;

Olivier Rene Coudert, Sunnyvale, CA (US);

Mikhail Bershteyn, Forest Hills, NY (US);

Assignee:

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

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 30/30 (2020.01); G06F 30/3312 (2020.01); G06F 30/337 (2020.01); G06F 30/327 (2020.01); G06F 119/12 (2020.01);
U.S. Cl.
CPC ...
G06F 30/337 (2020.01); G06F 30/3312 (2020.01); G06F 30/327 (2020.01); G06F 2119/12 (2020.01);
Abstract

Described is a configuration to remove false paths from an emulation netlist in a chip design under test (DUT). The configuration identifies, in an original netlist, an original subgraph of original logic gates, a subset of inputs (TI), and a subset of outputs (TO). The configuration generates a replicated subgraph of the original subgraph, the replicated subgraph having replicated logic gates corresponding to the original logic gates. The configuration connects the TI with a first replicated logic gate to a constant propagation source and remaining inputs of the replicated logic gates with corresponding original logic gates in the original netlist. The configuration disconnects, in the original netlist, output loads of TO, and connects the output loads of TO with a corresponding equivalent TO in the replicated subgraph. The configuration deletes, in the original netlist, original logic gates unconnected with an output load for TO in the original netlist.


Find Patent Forward Citations

Loading…