Patents Assigned to Synopsys, Inc.
  • Patent number: 12730954
    Abstract: The present disclosure describes systems and methods for generating timing libraries. The apparatus includes a memory and a processor. The processor determines a condition that indicates whether a superconducting electronic circuit design passes or fails logic verification and determines an edge-of-failure value for a timing parameter for the superconducting electronic circuit design. The processor simulates the superconducting electronic circuit design using the edge-of-failure value for the timing parameter and a first process variation to produce a first timing value for the superconducting electronic circuit design and simulates the superconducting electronic circuit design using the edge-of-failure value for the timing parameter and a second process variation to produce a second timing value for the superconducting electronic circuit design.
    Type: Grant
    Filed: February 17, 2023
    Date of Patent: September 8, 2026
    Assignee: Synopsys, Inc.
    Inventor: Aaron John Barker
  • Patent number: 12732206
    Abstract: An N-bit successive SAR includes, in part, a differential comparator receiving a pair of differential input signals and generating a pair of differential comparator output signals; an N-bit register storing the comparator output signals; a capacitive DAC supplying differential feedback signals to the differential comparator in response to the register; and M detection circuits each associated with one of M most significant bits of the N-bit register. Each detection circuit includes: a PMOS transistor precharging a first node to a supply voltage; a first NMOS transistor having a drain coupled to the first node, and a gate receiving a first voltage representative of one of the differential feedback signals; a second NMOS transistor having a drain coupled to a source of the first NMOS transistor, a gate receiving a second voltage representative of the other one of the differential feedback signals, and a source coupled to a ground terminal.
    Type: Grant
    Filed: November 7, 2024
    Date of Patent: September 8, 2026
    Assignee: Synopsys, Inc.
    Inventors: Babak Zamanlooy, Marc-Andre Lacroix
  • Patent number: 12732365
    Abstract: A method of performing elliptic curve cryptography includes, in part, receiving a scalar k representative of a secret key; and splitting, by a processing device, a multiplication of k by a generator point P on the elliptic curve ([k]P) into a sum of a first multiplication defined by [k?r]P, and a second multiplication defined by [r/n](nP), where n is a power of 2 of an integer number, and r is an integer smaller than k/(2*n); i.e., r<k(/2*n).
    Type: Grant
    Filed: August 14, 2024
    Date of Patent: September 8, 2026
    Assignee: Synopsys, Inc.
    Inventors: A. A. Jithra Adikari, Rudolphus J. C. Derwig
  • Patent number: 12732146
    Abstract: A circuit includes, in part, a transconductance amplifier, a common source amplifier, a resistor, and NMOS transistor. The common source amplifier is coupled to an output of the transconductance amplifier and generates a signal coupled to an output terminal of a crystal oscillator circuit. The resistor is coupled between the transconductance amplifier and the ground terminal. The NMOS transistor has a drain terminal coupled to a first terminal of the first resistor, a source terminal coupled to a second terminal of the first resistor, and a gate terminal coupled to an input terminal of the common source amplifier and to an input terminal of the crystal oscillator circuit.
    Type: Grant
    Filed: November 28, 2023
    Date of Patent: September 8, 2026
    Assignee: Synopsys, Inc.
    Inventors: Jayanthi Sri Ram Kumar, Rahul Gupta
  • Patent number: 12724853
    Abstract: A method includes: receiving an input job associated with a license type; receiving a license server order including a plurality of license servers; reading license server information regarding the plurality of license servers from a license server information cache; updating, by a processing device, the license server order based on the license server information to compute an updated license server order; and accessing at least one of the plurality of license servers in the updated license server order to attempt license checkout of a license from one of the plurality of license servers, the license being appropriate for the license type of the input job.
    Type: Grant
    Filed: July 14, 2023
    Date of Patent: September 1, 2026
    Assignee: Synopsys, Inc.
    Inventor: Mark Daniel Pogers
  • Patent number: 12724951
    Abstract: A method, a system, and a non-transitory computer readable medium for simulating a circuit are provided. The method includes generating a digital simulation file for the circuit that includes a block, generating a mixed simulation file for the circuit, generating a waveform file by executing the digital simulation file for a first time window of a simulation, determining a plurality of analog values for the block based on the waveform file, and executing, by a processor, the mixed simulation file for a second time window of the simulation with the plurality of analog values annotated to the block at a start of the second time window. The digital simulation file corresponds to the block in a digital view and the mixed simulation file corresponds to the block in an analog view.
    Type: Grant
    Filed: March 31, 2022
    Date of Patent: September 1, 2026
    Assignee: Synopsys, Inc.
    Inventors: Henry Jyu, Xiaonan Shi, Tingting Jiang
  • Patent number: 12727393
    Abstract: Josephson junction (JJ) structures are disclosed. In some embodiments, a JJ structure may include alternating planar superconducting structures and planar non-superconducting structures arranged along a direction away from a wafer surface.
    Type: Grant
    Filed: April 5, 2024
    Date of Patent: September 1, 2026
    Assignee: Synopsys, Inc.
    Inventors: Jamil Kawa, Victor Moroz, Stephen Robert Whiteley
  • Patent number: 12724065
    Abstract: A first profile associated with a first circuit may be obtained by running a first test (which may be a shmoo test) on the first circuit. Running the first test on the first circuit may include: selecting an operating condition for testing the first circuit, where the operating condition includes noise and voltage drop conditions to be used during testing; selecting a set of circuits in proximity to the first circuit based on the noise and voltage drop conditions; running built-in self-test (BIST) on the set of circuits to generate the noise and voltage drop conditions in the first circuit; running BIST on the first circuit while BIST is running on the set of circuits; determining a first result of running the BIST on the first circuit; and associating the first result with the operating condition.
    Type: Grant
    Filed: April 26, 2024
    Date of Patent: September 1, 2026
    Assignee: Synopsys, Inc.
    Inventors: Adam D. Cron, Tomer Y. Morad, Salvatore Talluto
  • Patent number: 12724950
    Abstract: A design database contains register transfer level (RTL) code for a design, and a violations database contains violations generated by a static analysis of the RTL code. The violations are tagged to code snippets of the RTL code. A machine learning model executes on a processing device. The machine learning model generates recommendations for waivers of the violations, based on the violations and the corresponding tagged code snippets in the databases.
    Type: Grant
    Filed: February 28, 2023
    Date of Patent: September 1, 2026
    Assignee: Synopsys, Inc.
    Inventors: Madusanka Padukka Vidanelage Thanuja, Zamrath Mohamed Nizam Mohamed, Himanshu Kathuria, Mohan Mangal, Rohit Kumar Ohlayan
  • Patent number: 12717991
    Abstract: A method of performing static timing analysis for a circuit design includes, in part, identifying a multitude of logic blocks of the circuit design matching a design pattern; determining values of a multitude of electrical properties associated with a first logic block representative of each of the plurality of logic blocks; and determining, during the static timing analysis, a delay associated with each of the multitude of logic blocks using the values of the electrical properties.
    Type: Grant
    Filed: October 31, 2022
    Date of Patent: August 25, 2026
    Assignee: Synopsys, Inc.
    Inventors: Peivand Tehrani, Chenwei Dustin Liu, Ahmed Shebaita
  • Patent number: 12717997
    Abstract: A directed acyclic graph (DAG) and an extended regular expression (ERE) may be received. A circuit design may be generated based on the DAG. A cover property may be generated based on the ERE. The circuit design may be simulated. A first result may be determined based on whether the cover property is satisfied during the simulating the circuit design. It may be determined whether the ERE matches a path in the DAG based on the first result.
    Type: Grant
    Filed: December 19, 2022
    Date of Patent: August 25, 2026
    Assignee: Synopsys, Inc.
    Inventor: Dmitry Korchemny
  • Patent number: 12717998
    Abstract: A method for performing a computation associated with a layout of a circuit design includes, in part: generating a graph having a multitude of nodes disposed across a multitude of layers associated with the layout, wherein each node corresponds to a polygon in the layout, wherein the multitude of nodes includes a source node and a sink node; traversing from the source node to the sink node via the nodes in accordance with a rule enabling traversal between one or more of (i) nodes disposed in the same layer, and (ii) from a first node disposed in one of the layers to a node disposed in another layer that is higher than the first layer; pruning nodes that are not visited during the traversal; and maintaining nodes that are not pruned for use in the computation.
    Type: Grant
    Filed: June 5, 2023
    Date of Patent: August 25, 2026
    Assignee: Synopsys, Inc.
    Inventors: Nicholas Stewart Palmer, Chih Yi Huang, De-Shiuan Chiou, Yu-Chen Lin, Jeffrey Ellis Byrd, Charles Samuel McFalls, Jr., Chi Lo, Chi-Chun Chuang
  • Patent number: 12718877
    Abstract: An example is a method. A pseudo array supply voltage (VDDAI) of a bitcell power tracking column for a memory array is determined by a write assist circuit coupled to the memory array. An actual VDDAI provided to a bitcell in the memory array during a write operation, based on the pseudo VDDAI of the bitcell power tracking column, is tracked by the write assist circuit. A collapse level of the actual VDDAI to the bitcell is controlled during the write operation, based on the tracking.
    Type: Grant
    Filed: October 18, 2024
    Date of Patent: August 25, 2026
    Assignee: Synopsys, Inc.
    Inventor: Che-Wei Wu
  • Patent number: 12717890
    Abstract: An example is a method. A query challenging authenticity is received at an intellectual property (IP) block in an integrated circuit (IC) die. The query may be a query of a query-response pair. A response to the query is generated, at the IP block, using a logic built-in self-test (LBIST) circuit. The response is transmitted from the IP block. The response may be received and compared to an expected response of the query-response pair. Authenticity may be validated when the response matches the expected response.
    Type: Grant
    Filed: April 24, 2023
    Date of Patent: August 25, 2026
    Assignee: Synopsys, Inc.
    Inventors: Adam Cron, Michael Borza
  • Patent number: 12717999
    Abstract: A method includes: receiving an integrated circuit design including a plurality of cells; performing a first plurality of design rule checks on a first portion of the plurality of cells of the integrated circuit design based on a sequence of design rule checkers arranged in a first order; collecting data on an execution of the design rule checkers on the first portion of the plurality of cells; updating, by a processing device, the sequence of design rule checkers, based on the data, to a second order of design rule checkers; and performing a second plurality of design rule checks on a second portion of the plurality of cells of the integrated circuit design based on the sequence of design rule checkers arranged in the second order.
    Type: Grant
    Filed: June 20, 2023
    Date of Patent: August 25, 2026
    Assignee: Synopsys, Inc.
    Inventors: Chin-Hsiung Hsu, Sheng-Wei Yang, Chau-Chin Huang, Yu-Hsiang Cheng, Guo-Ting Wang, James Yu, Philip Hui-Yuh Tai
  • Patent number: 12717994
    Abstract: A photonic integrated circuit (PIC) may be simulated by executing multiple iterations. Each iteration estimates outputs of the components in the PIC from inputs to the components. At least one output is estimated by running a simulation of the component. For at least one component and one iteration, the input for the current iteration is compared against a cached input for the component. Based on the comparison, it is determined whether to retrieve a corresponding cached output for the component or to run the simulation of the component.
    Type: Grant
    Filed: April 17, 2023
    Date of Patent: August 25, 2026
    Assignee: Synopsys, Inc.
    Inventors: Enrico Ghillino, Pablo Valente Mena
  • Patent number: 12712017
    Abstract: An SRAM cell includes four PMOS and four NMOS transistors. The first PMOS and NMOS form a first inverter. The second PMOS and NMOS form a second inverter having an output coupled to an input (first node) of the first inverter, and an input coupled to an output (second node) of the first inverter. The third NMOS has its source coupled to the second node, drain coupled to a first bitline, and gate coupled to a third node. The fourth NMOS has its source coupled to the first node, drain coupled to a second bitline, and gate coupled to a fourth node. The third PMOS has its drain coupled to the first node, source coupled to the second bitline, and gate coupled to a fifth node. The fourth PMOS has its drain coupled to the second node, source coupled to the first bitline, and gate coupled to a sixth node.
    Type: Grant
    Filed: July 31, 2024
    Date of Patent: August 18, 2026
    Assignee: Synopsys, Inc.
    Inventors: Rouwaida Nawaf Kanj, John Edward Barth
  • Patent number: 12712504
    Abstract: A constant transconductance-resistance (gmR) tracking biasing circuit includes: a first p-type metal oxide semiconductor (pMOS) transistor and a second pMOS transistor connected to form a first current mirror; and a first n-type metal oxide semiconductor (nMOS) transistor and a second nMOS transistor connected to form a second current mirror, the constant gmR tracking biasing circuit being configured to generate a bias output signal in accordance with currents flowing through the first pMOS transistor, the second pMOS transistor, the first nMOS transistor, and the second nMOS transistor, and the bias output signal being configured to control a pMOS transconductance of an input pMOS transistor and an nMOS transconductance of an input nMOS transistor of an analog circuit.
    Type: Grant
    Filed: July 15, 2022
    Date of Patent: August 18, 2026
    Assignee: Synopsys, Inc.
    Inventors: Jayesh Wadekar, Atul Kabra, Jairaj Naik K R
  • Patent number: 12705414
    Abstract: A method includes obtaining a target integrated circuit (IC) layout, accessing a repository, identifying a device within the target IC layout by matching an area of the target IC layout to a source pattern, and replacing at least a portion of the area of the target IC layout with a replacement pattern. The repository stores the source pattern for the device and the replacement pattern corresponding to the source pattern.
    Type: Grant
    Filed: May 2, 2022
    Date of Patent: August 11, 2026
    Assignee: Synopsys, Inc.
    Inventors: Soo Han Choi, Anil Karanam, Elango Velayutham, Yuli Xue
  • Patent number: 12706143
    Abstract: A circuit includes a PMOS transistor having a source terminal coupled to a first node and a drain terminal coupled to a second node; a first programmable memristor having a first terminal coupled to the first node and a second terminal receiving a first voltage; and a first select transistor having a terminal coupled to the first node, a second terminal coupled to a third node adapted to receive a second voltage, and a gate terminal receiving a first select signal. The resistance of the first programmable memristor is responsive to a difference between the first and second voltages to change a pullup strength of the PMOS transistor. The circuit may further include a NMOS transistor; a second programmable memristor and a second select transistor. The resistance of the second programmable memristor may be changes using the second select transistor to change a pulldown strength of the NMOS transistor.
    Type: Grant
    Filed: November 14, 2023
    Date of Patent: August 11, 2026
    Assignee: Synopsys, Inc.
    Inventor: Rouwaida Nawaf Kanj