Patents by Inventor Sanjay Gulati
Sanjay Gulati has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 11288427Abstract: 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.Type: GrantFiled: March 10, 2020Date of Patent: March 29, 2022Assignee: Synopsys, Inc.Inventors: Sauresh Bhowmick, Sanjay Gulati, Sourasis Das, Bhaskar Pal, Rajarshi Mukherjee
-
Patent number: 11222154Abstract: 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.Type: GrantFiled: October 5, 2020Date of Patent: January 11, 2022Assignee: Synopsys, Inc.Inventors: Kaushik De, Rajarshi Mukherjee, David L. Allen, Bhaskar Pal, Sanjay Gulati, Gaurav Pratap, Nishant Patel, Malitha Kulatunga, Sachin Bansal
-
Publication number: 20210110093Abstract: 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.Type: ApplicationFiled: October 5, 2020Publication date: April 15, 2021Inventors: Kaushik DE, Rajarshi MUKHERJEE, David L. ALLEN, Bhaskar PAL, Sanjay GULATI, Gaurav PRATAP, Nishant PATEL, Malitha KULATUNGA, Sachin BANSAL
-
Publication number: 20200349311Abstract: 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.Type: ApplicationFiled: March 10, 2020Publication date: November 5, 2020Inventors: Sauresh BHOWMICK, Sanjay GULATI, Sourasis DAS, Bhaskar PAL, Rajarshi MUKHERJEE
-
Patent number: 10733342Abstract: A hierarchical power verification system and method creates abstract models of power behavior of modules that it successfully verifies. The abstract models simplify the module definition by omitting internal module details but provide sufficient information for power verification of higher level modules that incorporate this abstracted module. Design blocks are replaced with these abstract power models, resulting in reduced run-time and memory requirements. The power models can include power switches inside the block, related supplies of logic ports, supply power states, system power states, power management devices such as isolation logic and level shifters, feed-through and floating ports. The power model may be expressed either in UPF or as a combination of liberty model and UPF. After replacing modules with abstracted models the HPVS can quickly verify an entire SoC with a small memory footprint.Type: GrantFiled: September 19, 2018Date of Patent: August 4, 2020Assignee: Synopsys, Inc.Inventors: Shekaripuram V. Venkatesh, Nitin Sharma, Sanjay Gulati, Parul Bhatia
-
Patent number: 10586001Abstract: 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.Type: GrantFiled: January 8, 2019Date of Patent: March 10, 2020Assignee: Synopsys, Inc.Inventors: Sauresh Bhowmick, Sanjay Gulati, Sourasis Das, Bhaskar Pal, Rajarshi Mukherjee
-
Publication number: 20190213288Abstract: 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.Type: ApplicationFiled: January 8, 2019Publication date: July 11, 2019Inventors: Sauresh BHOWMICK, Sanjay GULATI, Sourasis DAS, Bhaskar PAL, Rajarshi MUKHERJEE
-
Patent number: 10311192Abstract: A power verification system requires a combination of design and its power intent. A power intent (PI) input specifies the power architecture of a design through specification of power/voltage domains, their corresponding power supplies and a collection of power management devices. Power state tables (PSTs) specified in PI capture the legal combinations of power states (voltage values) for the various sets of supply nets or supply ports of a design. A power verification system requires determining the power supply relationships of voltage/power domains which requires merging of PSTs. The system described efficiently merges PSTs by iteratively selecting only a subset of PSTs that are relevant to the supply pair of interest, that are pruned initially and as the merge progresses. This provides orders of magnitude speedup and resource reduction.Type: GrantFiled: July 31, 2015Date of Patent: June 4, 2019Assignee: Synopsys, Inc.Inventors: Shekaripuram V. Venkatesh, Sanjay Gulati, Vishal Keswani, Manish Goel, Nitin Sharma
-
Publication number: 20190018913Abstract: A hierarchical power verification system and method creates abstract models of power behavior of modules that it successfully verifies. The abstract models simplify the module definition by omitting internal module details but provide sufficient information for power verification of higher level modules that incorporate this abstracted module. Design blocks are replaced with these abstract power models, resulting in reduced run-time and memory requirements. The power models can include power switches inside the block, related supplies of logic ports, supply power states, system power states, power management devices such as isolation logic and level shifters, feed-through and floating ports. The power model may be expressed either in UPF or as a combination of liberty model and UPF. After replacing modules with abstracted models the HPVS can quickly verify an entire SoC with a small memory footprint.Type: ApplicationFiled: September 19, 2018Publication date: January 17, 2019Inventors: Shekaripuram V. Venkatesh, Nitin Sharma, Sanjay Gulati, Parul Bhatia
-
Publication number: 20170011138Abstract: A hierarchical power verification system and method creates abstract models of power behavior of modules that it successfully verifies. The abstract models simplify the module definition by omitting internal module details but provide sufficient information for power verification of higher level modules that incorporate this abstracted module. Design blocks are replaced with these abstract power models, resulting in reduced run-time and memory requirements. The power models can include power switches inside the block, related supplies of logic ports, supply power states, system power states, power management devices such as isolation logic and level shifters, feed-through and floating ports. The power model may be expressed either in UPF or as a combination of liberty model and UPF. After replacing modules with abstracted models the HPVS can quickly verify an entire SoC with a small memory footprint.Type: ApplicationFiled: July 31, 2015Publication date: January 12, 2017Applicant: Synopsys, Inc.Inventors: Shekaripuram V. Venkatesh, Nitin Sharma, Sanjay Gulati, Parul Bhatia
-
Publication number: 20160292346Abstract: A power verification system requires a combination of design and its power intent. A power intent (PI) input specifies the power architecture of a design through specification of power/voltage domains, their corresponding power supplies and a collection of power management devices. Power state tables (PSTs) specified in PI capture the legal combinations of power states (voltage values) for the various sets of supply nets or supply ports of a design. A power verification system requires determining the power supply relationships of voltage/power domains which requires merging of PSTs. The system described efficiently merges PSTs by iteratively selecting only a subset of PSTs that are relevant to the supply pair of interest, that are pruned initially and as the merge progresses. This provides orders of magnitude speedup and resource reduction.Type: ApplicationFiled: July 31, 2015Publication date: October 6, 2016Applicant: Synopsys, Inc.Inventors: Shekaripuram V. Venkatesh, Sanjay Gulati, Vishal Keswani, Manish Goel, Nitin Sharma
-
Patent number: 6525835Abstract: A system for creating a label design for a parcel shipping or conformance label, according to a specification of the label design and a specification of a target printer type. The system includes a label specification encoder into which a user provides inputs corresponding to a label design specification. The label specification encoder provides a so-called neutral language specification of the label, i.e. a specification suitable for automatic translation into control codes and printer commands for various types of label printer. The system also includes a label design generator, responsive to the neutral language specification, and further responsive to a target printer type provided as an input by a user. The label design generator provides a printer-specific label design. Capability for printing a two-dimensional bar code is provided, along with a capability for generating a check digit for a bar code.Type: GrantFiled: December 15, 1999Date of Patent: February 25, 2003Assignee: Pitney Bowes Inc.Inventor: Sanjay Gulati