公开(公告)号：US11288427B2

公开(公告)日：2022-03-29

申请号：US16814342

申请日：2020-03-10

Applicant: Synopsys, Inc.

Inventor： Sauresh Bhowmick ,  Sanjay Gulati ,  Sourasis Das ,  Bhaskar Pal ,  Rajarshi Mukherjee

IPC: G06F7/50 ,  G06F30/3323 ,  G06N20/00 ,  G06T11/20

Abstract: Disclosed herein are system, method, and computer-readable storage device embodiments for implementing automated root-cause analysis for static verification. An embodiment includes a system with memory and processor(s) configured to receive a report comprising violations and debug fields, and accept a selection of a seed debug field from among the plurality of debug fields. Clone violations may be generated by calculating an overlay of a given violation of the violations and a seed debug field, yielding possible values for a subset of debug fields. A clone violation may be created for a combination of the at least two second debug fields, populating a projection matrix, which may be used to map violations and clone violations to corresponding numerical values in the projection matrix and determine a violation cluster based on the mapping having corresponding numerical values and score(s) satisfying a threshold, via ML. Clustering may further be used to generate visualizations.

公开(公告)号：US10831961B2

公开(公告)日：2020-11-10

申请号：US16510810

申请日：2019-07-12

Applicant: Synopsys, Inc.

Inventor： Esha Dutta ,  Danish Jawed ,  Bhaskar Pal ,  Parijat Biswas ,  Pravash Chandra Dash ,  Rajarshi Mukherjee ,  Sharad Gaur

IPC: G06F30/367 ,  G06F30/398

Abstract: A data analysis engine is implemented in a testbench to improve coverage convergence during simulation of a device-under-validation (DUV). During a first simulation phase initial stimulus data is generated according to initial random variables based on user-provided constraint parameters. The data analysis engine then uses a time-based technique to match coverage variables sampled from simulation response data with corresponding initial random variables, determines a functional dependency (relationship) between the sampled coverage variables and corresponding initial random variables, then automatically generates revised constraint parameters based on the functional dependency. The revised constraint parameters are then used during a second simulation phase to generate focused random variables used to stimulate the DUV to reach additional coverage variables. In one embodiment, the functional dependency is determined by cross-correlating sampled coverage variables and corresponding initial random variables.

公开(公告)号：US10990735B2

公开(公告)日：2021-04-27

申请号：US16882671

申请日：2020-05-25

Applicant: Synopsys, Inc.

Inventor： Sauresh Bhowmick ,  Bhaskar Pal ,  Esha Dutta ,  Harsha Vardhan

IPC: G06F17/50 ,  G06F30/333 ,  G06F11/34 ,  G06F3/0484 ,  G06F30/398 ,  G06F30/33

Abstract: A system and method generates cluster-based power architecture interfaces for an integrated circuit (IC) design under test (DUT) debugging by receiving design data for an IC DUT, determining power characteristic data for the IC DUT, generating display components within a graphical user interface (GUI) corresponding to individual components encompassed within a power intent hierarchy corresponding with the IC DUT, generating graphical links between displayed components, overlaying interactive elements corresponding with generated violation clusters over graphical links, and providing root-cause interactive elements within the generated GUI having visual associations with the interactive components corresponding with particular violation clusters.

公开(公告)号：US20200019664A1

公开(公告)日：2020-01-16

申请号：US16510810

申请日：2019-07-12

Applicant: Synopsys, Inc.

Inventor： Esha Dutta ,  Danish Jawed ,  Bhaskar Pal ,  Parijat Biswas ,  Pravash Chandra Dash ,  Rajarshi Mukherjee ,  Sharad Gaur

IPC: G06F17/50

Abstract: A data analysis engine is implemented in a testbench to improve coverage convergence during simulation of a device-under-validation (DUV). During a first simulation phase initial stimulus data is generated according to initial random variables based on user-provided constraint parameters. The data analysis engine then uses a time-based technique to match coverage variables sampled from simulation response data with corresponding initial random variables, determines a functional dependency (relationship) between the sampled coverage variables and corresponding initial random variables, then automatically generates revised constraint parameters based on the functional dependency. The revised constraint parameters are then used during a second simulation phase to generate focused random variables used to stimulate the DUV to reach additional coverage variables. In one embodiment, the functional dependency is determined by cross-correlating sampled coverage variables and corresponding initial random variables.

公开(公告)号：US20200372196A1

公开(公告)日：2020-11-26

申请号：US16882671

申请日：2020-05-25

Applicant: Synopsys, Inc.

Inventor： Sauresh Bhowmick ,  Bhaskar Pal ,  Esha Dutta ,  Harsha Vardhan

IPC: G06F30/333 ,  G06F30/398 ,  G06F3/0484 ,  G06F11/34

Abstract: A system and method generates cluster-based power architecture interfaces for an integrated circuit (IC) design under test (DUT) debugging by receiving design data for an IC DUT, determining power characteristic data for the IC DUT, generating display components within a graphical user interface (GUI) corresponding to individual components encompassed within a power intent hierarchy corresponding with the IC DUT, generating graphical links between displayed components, overlaying interactive elements corresponding with generated violation clusters over graphical links, and providing root-cause interactive elements within the generated GUI having visual associations with the interactive components corresponding with particular violation clusters.

公开(公告)号：US11556406B2

公开(公告)日：2023-01-17

申请号：US16700869

申请日：2019-12-02

Applicant: Synopsys, Inc.

Inventor： Aditya Daga ,  Sauresh Bhowmick ,  Bhaskar Pal ,  Rajarshi Mukherjee

IPC: G06F11/07 ,  G05B23/02 ,  H04L41/0631 ,  G06F30/3323

Abstract: The independent claims of this patent signify a concise description of embodiments. An automatic process for determining and/or predicting the original root-cause(s) of a violation is proposed using two major enhancements on top of the current VC-Static solution. First, an information repository is created by mining various Static checker components' analysis information, and second, an analysis framework is created which systematically prunes the above-mentioned information repository to find the actual root cause(s) of the violation. This Abstract is not intended to limit the scope of the claims.

公开(公告)号：US20220284161A1

公开(公告)日：2022-09-08

申请号：US17684287

申请日：2022-03-01

Applicant: Synopsys, Inc.

Inventor： Gaurav Pratap ,  Bhaskar Pal ,  Mohit Kumar

IPC: G06F30/33

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.

公开(公告)号：US11222154B2

公开(公告)日：2022-01-11

申请号：US17063059

申请日：2020-10-05

Applicant: Synopsys, Inc.

Inventor： Kaushik De ,  Rajarshi Mukherjee ,  David L. Allen ,  Bhaskar Pal ,  Sanjay Gulati ,  Gaurav Pratap ,  Nishant Patel ,  Malitha Kulatunga ,  Sachin Bansal

IPC: G06F30/3308 ,  G06F1/3296 ,  G06F1/28 ,  G06F119/06

Abstract: State table complexity reduction in a hierarchical verification flow is provided by identifying peripheral supplies and non-peripheral supplies in a hierarchical group in a hierarchical logical block model of a circuit based on whether logic blocks associated with the power supplies provide outputs to or receive inputs from circuity external to the hierarchical group; merging associated power state tables for the peripheral supplies and the non-peripheral supplies in the hierarchical group to create a merged power state table for the hierarchical group; removing, by a processing device, any power states associated with the non-peripheral supplies from the merged power state table to create a reduced power state table; and modeling a reduced logical block based on the reduced power state table.

公开(公告)号：US20220075920A1

公开(公告)日：2022-03-10

申请号：US17463040

申请日：2021-08-31

Applicant: Synopsys, Inc.

Inventor： Sachin Bansal ,  Bhaskar Pal ,  Kamalesh Ghosh ,  Tushar Parikh ,  Soumik Das Choudhury ,  Hasindu Ramanayake

IPC: G06F30/3323 ,  G06F30/3315

Abstract: A power intent specification specifies the desired power intent for a design of an integrated circuit, for example the states of the power domains under different conditions. Power-aware formal properties describe desired behaviors specified by the power intent specification. Falsified power-aware formal properties indicate that the design does not exhibit the desired behavior. In addition, a debug context database contains debug contexts for static-check violations resulting from power-aware static checking of the design. Static checking checks for compliance with the power intent specification based on a static structure of the design. Falsified power-aware formal properties ae matched against the static-check violations. A data structure is generated, associating debug contexts for the matching static-check violations as possible causes of the falsified power-aware formal properties.

公开(公告)号：US20200174871A1

公开(公告)日：2020-06-04

申请号：US16700869

申请日：2019-12-02

Applicant: Synopsys, Inc.

Inventor： Aditya Daga ,  Sauresh Bhowmick ,  Bhaskar Pal ,  Rajarshi Mukherjee

IPC: G06F11/07 ,  G05B23/02 ,  G06F30/3323 ,  H04L12/24

Abstract: The independent claims of this patent signify a concise description of embodiments. An automatic process for determining and/or predicting the original root-cause(s) of a violation is proposed using two major enhancements on top of the current VC-Static solution. First, an information repository is created by mining various Static checker components' analysis information, and second, an analysis framework is created which systematically prunes the above-mentioned information repository to find the actual root cause(s) of the violation. This Abstract is not intended to limit the scope of the claims.