Patents Assigned to Synopsys, Inc.
  • Patent number: 12181793
    Abstract: A tensor-based computing platform performs mask synthesis. A method includes accessing a layout of a lithographic mask and estimating a printed pattern resulting from use of the lithographic mask in a lithographic process. The lithographic process is modeled by a sequence of at least two forward models. A first of the forward models uses the layout of the lithographic mask as input and a last of the forward models produces the estimated printed pattern as output. The method further includes modifying the layout of the lithographic mask based on differences between the estimated printed pattern and a target printed pattern. All of the forward models are implemented on the tensor-based computing platform.
    Type: Grant
    Filed: March 29, 2021
    Date of Patent: December 31, 2024
    Assignee: Synopsys, Inc.
    Inventor: Peng Liu
  • Patent number: 12175191
    Abstract: Embodiments relate to a system for translating design specifications of an electronic circuit. In one embodiment, the design specification is parsed to identify one or more sentences. From the one or more identified sentences, the system extracts semantic concepts. Additionally, for each sentence of the one or more identified sentences, the system determines whether the sentence is translatable. If a target sentence is translatable, the system generates a parse tree for the target sentence, and generates a probabilistic shift-reduce schedule for the generated parse tree. Using the generated probabilistic shift-reduce schedule and optionally the generated parse tree, the system generates code for verifying the condition specified in the target sentence. In some embodiments, to generate the code, the system parses the target sentence using the generated probabilistic shift-reduce schedule.
    Type: Grant
    Filed: November 15, 2021
    Date of Patent: December 24, 2024
    Assignee: Synopsys, Inc.
    Inventors: Ganapathy Parthasarathy, Saurav Nanda, Parivesh Choudhary, Pawan Patil, Arun Venkatachar
  • Patent number: 12175181
    Abstract: A method of performing an optimization within a circuit layout design is provided. The method includes determining, from multiple nets of the circuit layout design, a target net that has one or more performance characteristics that are outside a range of constraints, determining, from the multiple nets, a non-critical net that has the one or more performance characteristics that are within the range of the constraints, and adjusting, by a processor, one or more of a shape and a location of one or more of the non-critical net and the target net, such that the one or more performance characteristics of the non-critical net is changed and remains within the range of the constraints.
    Type: Grant
    Filed: December 3, 2021
    Date of Patent: December 24, 2024
    Assignee: Synopsys, Inc.
    Inventors: Bon Woong Ku, Nahmsuk Oh, Cho Moon
  • Patent number: 12175176
    Abstract: A system receives a logic design of a circuit of an integrated circuit and apply a reduced synthesis process to the logical design of the integrated circuit. The reduced synthesis process is less computation intensive compared to the optimized digital implementation synthesis process and generates a netlist having suboptimal delay. The system provides the generated netlist as input to a timing analysis that alters the standard delay computation (through scaling and other means) to predict the timing of a fully optimized netlist. The reduced synthesis process has faster execution time compared to the optimized digital implementation synthesis process but results in comparable performance, power and area that is within a threshold of the results generated using optimized digital implementation synthesis process.
    Type: Grant
    Filed: March 11, 2022
    Date of Patent: December 24, 2024
    Assignee: Synopsys, Inc.
    Inventors: Peter Moceyunas, Jiong Luo, Luca Amaru, Casey The, Jovanka Ciric Vujkovic, Patrick Vuillod
  • Patent number: 12167590
    Abstract: A one-transistor (1T) one-time programmable (OTP) anti-fuse bitcell is provided. The 1T OTP anti-fuse bitcell includes a gate, a diffusion region including at least two sub-regions, and a gate oxide region located between the gate and the diffusion region, the gate oxide region including a thin gate oxide region and a thick gate oxide region.
    Type: Grant
    Filed: December 7, 2021
    Date of Patent: December 10, 2024
    Assignee: Synopsys, Inc.
    Inventor: Andrew Edward Horch
  • Patent number: 12165738
    Abstract: Various SRAM non-clamping write driver with write-assist are disclosed, including a write driver circuitry that does not clamp the Bitlines (BLs) during the write operations, and a negative BL Write-Assist (WA) circuit that provides a negative BL boost desirable for use with high-density bit cells. When used with memories other than those having high-density bit cells, the negative BL WA improves the minimum voltage (Vmin) and frequency of operation.
    Type: Grant
    Filed: December 21, 2022
    Date of Patent: December 10, 2024
    Assignee: SYNOPSYS, INC.
    Inventor: Harold Pilo
  • Patent number: 12164608
    Abstract: A method of obfuscating a circuit design includes, in part, receiving data representative of the circuit design. The method further includes, in part, simulating the circuit design, and obfuscating at least one output signal of the circuit design if a user performing the simulation is determined as not being an authorized user.
    Type: Grant
    Filed: December 9, 2021
    Date of Patent: December 10, 2024
    Assignee: Synopsys, Inc.
    Inventor: Adam Cron
  • Patent number: 12158770
    Abstract: A circuit includes, in part, first and second sequential elements and a clock gating circuit. The first sequential element has an enable terminal receiving a first enabling signal, a clock terminal receiving a first clock signal, a data input terminal and a data output terminal. The second sequential element has a clock terminal, and a data input terminal coupled to the data output terminal of the first sequential element. The clock gating circuit is coupled to the first and second sequential elements and includes, in part, a third sequential element configured to store data in response to the first enabling signal and a second enabling signal. The clock gating circuit is further configured to supply a second clock signal to the clock terminal of the second sequential element in response to an assertion of the second enabling signal and the data stored in the third sequential element.
    Type: Grant
    Filed: May 27, 2022
    Date of Patent: December 3, 2024
    Assignee: Synopsys, Inc.
    Inventors: Wladimir Plagges, Muzaffer Hiraoglu, Esteban Osses
  • Publication number: 20240395630
    Abstract: A method of forming a complementary field effect transistor (CFET) is provided. The method includes adding a blocking material to a vertical channel of the CFET having an epitaxial growth, the blocking material being located below and in contact with a lower portion of the growth, adding an insulating material to an open area within the vertical channel to surround a portion of the epitaxial growth, performing an etch to (i) remove a portion of the insulating material, (ii) expose a contact surface of the epitaxial growth and (iii) provide a vertical opening within the vertical channel, the etch leaving a portion of the blocking material, and filling in the vertical opening with a conductive material, the conductive material reaching the exposed contact surface of the epitaxial growth, the blocking material remaining below the conductive material to prevent contact between the conductive material and a silicon substrate below the growth.
    Type: Application
    Filed: July 31, 2024
    Publication date: November 28, 2024
    Applicant: Synopsys, Inc.
    Inventors: Xi-Wei LIN, Victor MOROZ
  • Patent number: 12153864
    Abstract: This disclosure describes an apparatus and method for simulating circuit designs. An apparatus for simulating circuit designs includes a first simulation vector processor (SVP) and a second SVP communicatively coupled to the first SVP. The first SVP simulates a first portion of a circuit design under test. The second SVP simulates the first portion of the circuit design under test at least partially while the first SVP simulates the first portion of the circuit design and asynchronously with the first SVP and transmits data to the first SVP while simulating the first portion of the circuit design, wherein the first SVP uses the data while simulating the first portion of the circuit design.
    Type: Grant
    Filed: February 9, 2022
    Date of Patent: November 26, 2024
    Assignee: Synopsys, Inc.
    Inventors: Subramanian Ganesan, Ramesh Narayanaswamy, Dinesh Madusanke Pasikku Hannadige, Chanaka Ranathunga, Aditha Pabasara Rajakaruna, Subha Sankar Chowdhury
  • Patent number: 12153863
    Abstract: The invention relates to methods of simulation of a plurality of processors running on a plurality of cores, to multi-core microprocessor systems in which such methods may be carried out, and to computer program products configured to perform a simulation of a plurality of processors, running on a plurality of cores. According to a first aspect of the invention, there is provided a method of running a plurality of simulated processors on a plurality of cores, in which simulation of the processors is performed in parallel on the plurality of cores.
    Type: Grant
    Filed: February 3, 2023
    Date of Patent: November 26, 2024
    Assignee: Synopsys, Inc.
    Inventors: James Kenney, Simon Davidmann
  • Patent number: 12155509
    Abstract: A communication system includes a receiver device having a continuous time linear equalizer circuitry. The continuous time linear equalizer circuitry includes first gain circuitry, second gain circuitry, second gain circuitry a first capacitor, a first resistive element, a first inductor, and a second resistive element. The first gain circuitry and the second gain circuitry receive an input signal. The first capacitor is connected between an output of the first gain circuitry and an output of the second gain circuitry. The first resistive element is connected between the output of the first gain circuitry and the output of the second gain circuitry. The first inductor is connected to the output of the first gain circuitry, the first capacitor, and the first resistive element. The second resistive element is connected in parallel with the first inductor.
    Type: Grant
    Filed: June 1, 2023
    Date of Patent: November 26, 2024
    Assignee: Synopsys, Inc.
    Inventors: Dirk Pfaff, Jingjing Xia, David A. Yokoyama-Martin
  • Patent number: 12148490
    Abstract: A method is provided for testing two port memory. The method includes receiving a synchronous write through (SWT) mode signal that indicates one of a functional mode of operation and a testing mode of operation of the memory, wherein the testing mode triggers bypassing of one or more read operations from bit cells of the memory identified by read address signals, and switching between the functional and testing modes of operation in dependence on the SWT mode signal. When the memory is in the testing mode of operation the circuit, receiving test data obtained from read address signals to represent a test state for the bit cells of the memory.
    Type: Grant
    Filed: March 9, 2023
    Date of Patent: November 19, 2024
    Assignee: Synopsys, Inc.
    Inventors: Harold Pilo, Anurag Garg
  • Patent number: 12147749
    Abstract: A relationship between at least a first metric of an integrated circuit (IC) design and a power supply voltage of the IC design may be determined based on a set of IC designs that have different power supply voltages. Next, the power supply voltage and at least the first metric of the IC design may be modified by interpolating values of the first metric based on the relationship between the first metric and the power supply voltage of the IC design.
    Type: Grant
    Filed: February 16, 2022
    Date of Patent: November 19, 2024
    Assignee: Synopsys, Inc.
    Inventors: Qiang Wu, Henry S. Sheng
  • Patent number: 12147748
    Abstract: A system and method for changing a circuit design are described. The method includes generating a propagation graph for the circuit design and estimating slack values for some of the paths in the propagation graph. The method also includes making a virtual change to the circuit design and determining whether to accept or reject the change based on how the change affects the estimated slack values.
    Type: Grant
    Filed: April 19, 2022
    Date of Patent: November 19, 2024
    Assignee: Synopsys, Inc.
    Inventors: Zuo Dai, Konstantinos Tsirogiannis, Tao Huang, Jaehan Jeon, Tobias Bjerregaard, Tao Lin, Min Pan
  • Patent number: 12147707
    Abstract: A system and method for performing a store to load process includes receiving a first store instruction. The first store instruction includes a first target address, a first mask, and a first data structure. Further, the first target address, the first mask, and the first data structure are stored within a first store buffer location of a store buffer. A first entry identification associated with the first store buffer location is stored within an age buffer. The first data structure is output based on an order of entry identifications within the age buffer.
    Type: Grant
    Filed: September 23, 2022
    Date of Patent: November 19, 2024
    Assignee: Synopsys, Inc.
    Inventor: Karthik Thucanakkenpalayam Sundararajan
  • Patent number: 12140628
    Abstract: A method or system for estimating delays in design under tests (DUTs) using machine learning. The system accesses multiple DUTs, each comprising various logic blocks. For each DUT, a combinatorial path is identified, connecting one or more logic blocks. A feature vector is generated, including values of orthogonal features representing the combinatorial path's characteristics. Each DUT is compiled for emulation, and the delay of its combinatorial path is measured. These measured delays, along with the corresponding feature vectors, are used to train a machine learning delay model. The trained model is designed to receive a combinatorial path of a DUT as input and generate an estimated wire delay as output. This approach leverages machine learning to predict delays in electronic designs, improving the efficiency and accuracy of delay estimations in complex circuits.
    Type: Grant
    Filed: November 28, 2023
    Date of Patent: November 12, 2024
    Assignee: Synopsys, Inc.
    Inventors: Yanhua Yi, Yu Yang, Jiajun Fan, Vinod Kumar Nakkala, Vijay Sundaresan, Jianfeng Huang
  • Patent number: 12143195
    Abstract: A communication receiver can determine an angle of arrival (AoA) of a communication signal. The communication receiver includes multiple receiving antennas and processing circuitry. The processing circuitry determines multiple phase shifts over multiple instances in time from first samples of a communication signal as observed by a reference receiving antenna selected from among the multiple receiving antennas, samples the communication signal as observed by the selected receiving antennas from among the multiple receiving antennas over the multiple instances in time to provide second samples of the communication signal, removes the multiple phase shifts from corresponding samples from among the second samples of the communication signal to provide phase corrected second samples of the communication signal, and determines the AoA of the communication signal from the phase corrected second samples of the communication signal.
    Type: Grant
    Filed: August 5, 2020
    Date of Patent: November 12, 2024
    Assignee: SYNOPSYS, INC.
    Inventors: Khaled Ismail, Khaled M. F. Elsayed
  • Patent number: 12140632
    Abstract: Systems, integrated circuits and methods for synchronizing testing a Device under test (DUT) with an automated test equipment (ATE) is provided. In one example, a method includes transmitting a test packet from an ATE to a first Device Under Test DUT; receiving, at the ATE from the DUT, a result packet; and in response to receiving a Start of Packet (SOP) indicator from the DUT at the ATE, evaluating the first DUT by comparing the result packet to an expected packet associated with the test packet.
    Type: Grant
    Filed: November 17, 2021
    Date of Patent: November 12, 2024
    Assignee: Synopsys, Inc.
    Inventors: Yongkang Hu, Ramalingam Kolisetti, Anubhav Sinha, Abhijeet Samudra
  • Patent number: 12130658
    Abstract: A method and system are provided for synchronizing signals, using a synchronizer circuit, between a source circuit and a destination circuit that utilizes detection of when the destination circuit clock is turned off. In the method performed by the synchronizer circuit, a stop signal is received from the destination circuit that is generated upon determination that the destination clock in the destination circuit is turned off. A data signal from the source circuit is, upon receipt of the stop signal, prevented by the synchronizer circuit from being transmitted from the source circuit to the destination circuit. Then once a start signal is received in response to the destination circuit clock signal turning back on, the data signal is once again transmitted from the source circuit to the destination circuit by the synchronizer.
    Type: Grant
    Filed: March 14, 2023
    Date of Patent: October 29, 2024
    Assignee: Synopsys, Inc.
    Inventor: Saleem Chisty Mohammad