Patents Assigned to Synopsys, Inc.
-
Patent number: 11740288Abstract: Scan cells of a set of scan chains may be partitioned into at least two control groups of scan cells and at least two observe groups of scan cells. Adjacent scan cells in the set of scan chains may belong to different control groups. Each observe group may include at most one scan cell from each control group, and each control group may include at most one scan cell from each observe group. The control groups and observe groups may be used to perform defect localization on the set of scan chains.Type: GrantFiled: May 31, 2022Date of Patent: August 29, 2023Assignee: Synopsys, Inc.Inventor: Emil I. Gizdarski
-
Patent number: 11741282Abstract: Systems and methods for adjusting a digital circuit design are described. For example, the method may include selecting a first path in the digital circuit design. The first path includes a plurality of gates. The method also includes generating a k-hop neighborhood graph of the first path, encoding the k-hop neighborhood graph into a state vector, and applying a machine learning model to the state vector to determine an adjustment to be made on a first gate of the plurality of gates. The method further includes changing the first gate based on the adjustment.Type: GrantFiled: January 19, 2022Date of Patent: August 29, 2023Assignee: Synopsys, Inc.Inventors: Siddhartha Nath, Vishal Khandelwal, Yi-Chen Lu, Praveen Ghanta
-
Patent number: 11741287Abstract: The independent claims of this patent signify a concise description of embodiments. Roughly described, a design team prioritizes polygons of a circuit design layout. This information is then encoded into a layout database that is passed to the manufacturing team for correction further processing toward tape-out. The priorities may be used by an engineer to disposition errors found in the layout. For example, a failure may be waived. In another embodiment, the priorities are used during hotspot fixing, a process where failed features are corrected. In hotspot fixing, the priority can be used to make correction tradeoffs in favor of the highest priority features. Priorities are set during the correction to favor fidelity of the higher priority features over the lower priority features. Each embodiment reduces cost, and in some cases, improve final device performance. This Abstract is not intended to limit the scope of the claims.Type: GrantFiled: July 8, 2021Date of Patent: August 29, 2023Assignee: Synopsys, Inc.Inventors: Lawrence S. Melvin, III, Frank L. Ferschweiler
-
Patent number: 11742247Abstract: A method of performing epitaxial growth of a source and drain on levels of a complementary field effect transistor (CFET) is provided. The method includes depositing a first blocking material in a vertical channel of an unfinished CFET structure, oxidizing silicon at a surface of an upper level of the CFET to provide one or more SiO2 protective layers, etching away a portion of silicon from a lower level of the CFET to form a lateral recess that is exposed to the vertical channel, and performing silicon epitaxial growth in the lower level of the unfinished CFET structure. Further, after the silicon epitaxial growth on the lower level, the method includes depositing a second blocking material in the vertical channel to cover at least a portion of the silicon epitaxial growth in the lower level, removing the SiO2 protective layer, and performing epitaxial growth on the upper level.Type: GrantFiled: July 9, 2021Date of Patent: August 29, 2023Assignee: Synopsys, Inc.Inventors: Xi-Wei Lin, Victor Moroz
-
Patent number: 11734489Abstract: A system, method, and computer readable medium with instructions for verifying an original layout are disclosed. The original layout includes cells arranged in a cell hierarchy, front-end-of-line (FEOL) layers, and back-end-of-line (BEOL) layers. In one embodiment, a reduced layout is generated by trimming out cells below a top tier of the cell hierarchy and filtering out the FEOL layers. A text-based short check is executed on the reduced layout. Next, an augmented reduced layout is generated. The augmented reduced layout includes pin information for cells in a second tier connected to the top tier. An interconnectivity check is then executed on the augmented reduced layout based on a schematic for the circuit. Afterwards, a result (e.g., location of short or connectivity mismatch) based on at least one of the text-based short check and the interconnectivity check is outputted. A conventional LVS check may then be executed.Type: GrantFiled: June 2, 2021Date of Patent: August 22, 2023Assignee: Synopsys, Inc.Inventors: Jinsik Yun, Mark Daniel Pogers, Jonathan Calvin White, Chiu-Yu Ku, Danny Chang, Lihhsing Ke
-
Patent number: 11734488Abstract: Aspects described herein relate to physical verification of a design of an integrated circuit to be manufactured on a semiconductor die. One example method involves inserting a virtual partition cell in a parent cell of a layout of a design of an integrated circuit. A child cell of the parent cell has a first portion that overlaps the virtual partition cell and a second portion that is outside of the virtual partition cell. The method also includes creating, by one or more processors, a hierarchy of cells having the child cell and the virtual partition cell descending from the parent cell, wherein the child cell has multiple instances in the hierarchy of cells, and performing a design rule check runset on the parent cell based on the hierarchy.Type: GrantFiled: May 25, 2021Date of Patent: August 22, 2023Assignee: Synopsys, Inc.Inventor: Yulan Wang
-
Patent number: 11734482Abstract: In one aspect, a transistor-level description of a circuit is accessed, where the circuit includes a plurality of transistors. A transistor-level circuit simulation of the circuit's response to an input stimulus is performed, based on the transistor-level description of the circuit. Activity levels for the transistors in the circuit are determined from the transistor-level circuit simulation. A graphical representation of the circuit is rendered. The graphical representation contains graphical elements that represent components of the circuit, and the graphical elements are visually coded according to the activity levels of the transistors in the corresponding components.Type: GrantFiled: November 9, 2021Date of Patent: August 22, 2023Assignee: Synopsys, Inc.Inventors: Mayukh Bhattacharya, Aleksandrs Krjukovs, Chih-Ping Antony Fan
-
Patent number: 11734080Abstract: Embodiments relate to reading signals from a stimulus file produced by an emulator into a data store. A method includes executing, by a set of one or more worker processes, reading tasks. Each reading task is executable independent of other reading tasks. Each reading task includes reading a time slice of a signal from a stimulus file produced by a hardware emulator, and pushing a partial waveform corresponding to the time slice to a data store. The partial waveform includes a head and a tail that each has a smaller data size than an entirety of the partial waveform. The method further includes executing stitching tasks. The stitching tasks include pulling the heads and tails of the partial waveform from the data store, modifying the heads and tails to indicate a temporal order of the partial waveforms, and pushing the modified heads and tails back to the data store.Type: GrantFiled: April 7, 2021Date of Patent: August 22, 2023Assignee: Synopsys, Inc.Inventors: Anup Kumar Sultania, Ajay Singh Bisht, Mark W. Brown
-
Patent number: 11726899Abstract: A process is disclosed to identify the minimal set of sequential and combinational signals needed to fully reconstruct the combinational layout after emulation is complete. A minimal subset of sequential and combinational elements is output from the emulator to maximize the emulator speed and limit the utilization of emulator resources, e.g., FPGA resources. An efficient reconstruction of combinational waveforms or SAIF data is performed using a parallel computing grid.Type: GrantFiled: November 11, 2021Date of Patent: August 15, 2023Assignee: Synopsys, Inc.Inventors: Gagan Vishal Jain, Johnson Adaikalasamy, Alexander John Wakefield, Ritesh Mittal, Solaiman Rahim, Olivier Coudert
-
Patent number: 11727178Abstract: A method includes generating a channel configuration between a first signal pin of a first integrated circuit (IC) die and a second signal pin of a second IC die based on a multiplex data rate (XDR) of the first signal pin and the second signal pin. The channel configuration includes an association of the XDR to a channel. The method also includes determining a signal pin channel assignment based on the channel configuration, updating the channel configuration based on the signal pin channel assignment and a wirelength representative of a total distance between the first signal pin, the second signal pin, and physical ports of the channel, and performing socket instantiation based on the updated channel configuration and the signal pin channel assignment.Type: GrantFiled: September 29, 2021Date of Patent: August 15, 2023Assignee: Synopsys, Inc.Inventors: Yu Yang, Jianfeng Huang, Shih-Ying Liu
-
Patent number: 11720015Abstract: Aspects described herein relate to mask synthesis using design guided offsets. A target shape on an image surface to be fabricated using a mask based on a design of an integrated circuit is obtained. Rays are generated emanating from respective anchor points. The anchor points are on a boundary of the target shape or a boundary of a mask shape of the mask. For each ray of the rays, a distance is defined between a first intersection of the respective ray and the boundary of the target shape and a second intersection of the respective ray and the boundary of the mask shape. An analysis is performed by one or more processors, where the analysis is configured to modify the distances based on an error between the target shape and a resulting shape simulated to be on the image surface resulting from the mask shape.Type: GrantFiled: June 25, 2021Date of Patent: August 8, 2023Assignee: Synopsys, Inc.Inventors: Thomas Cecil, Kevin Hooker
-
Patent number: 11714117Abstract: Some aspects of this disclosure are directed to an automated method to check electrostatic discharge (ESD) effect on a victim device. For example, some aspects of this disclosure relate to a method, including determining a probe point, in a circuit design, for determining effective resistance between the probe point and ground, where the probe point is on an ESD path of in the circuit design. The method includes determining voltage between the probe point and the ground. The method further includes comparing, by a processing device, a resistance value of the ESD path determined based a predefined electric current value at a source point and the measured voltage with a target resistance value range. The method further includes reporting a violation upon determining that the determined resistance value of the ESD path is outside the target resistance value range.Type: GrantFiled: November 22, 2021Date of Patent: August 1, 2023Assignee: Synopsys, Inc.Inventors: Jeffrey Ellis Byrd, Peter C. de Jong, Herman Luijmes
-
Patent number: 11709984Abstract: A compilation system accesses a compilation operations that can be used by a compiler to compile a design under test (DUT). The compilation system can determine a sequence of the compilation operations for the compiler to perform the compilation. The compilation system can detect a failure at a first compilation operation of the sequence of operations during the compilation of the DUT, and the compilation of the DUT can be paused after the failure is detected. The compilation system can determine a second compilation operation of the accessed compilation operations based on one or more netlist parameters of the DUT's netlist. The compilation system then modifies the sequence of compilation operations based on the second compilation operation and resumes the compilation of the DUT at the second compilation operation using the modified sequence of compilation operations.Type: GrantFiled: December 3, 2021Date of Patent: July 25, 2023Assignee: Synopsys, Inc.Inventor: Guillaume Jean Baptiste Desplechain
-
Patent number: 11710634Abstract: A method for forming ultra-high density integrated circuitry, such as for a 6T SRAM, for example, is provided. The method involves applying double patterning litho-etch litho-etch (LELE) and using a spacer process to shrink the critical dimension of features. To improve process margins, the method implements a double-patterning technique by modifying the layout and splitting cross-coupling straps into two colors (e.g., each color corresponds to a mask-etch process). In addition, a spacer process is implemented to shrink feature size and increase the metal-to-metal spacing between the two cross-coupling straps, in order to improve process margin and electrical performance. This is achieved by depositing a spacer layer over an opening in a hardmask, followed by spacer etch back. The opening is thus shrunk by the amount of spacer thickness. The strap-to-strap spacing may then be increased by twice the amount of spacer thickness.Type: GrantFiled: July 9, 2021Date of Patent: July 25, 2023Assignee: Synopsys, Inc.Inventors: Xi-Wei Lin, Victor Moroz
-
Patent number: 11704467Abstract: Embodiments provide for building a global clock tree. In embodiments, an example method includes inserting clock drivers at symmetric locations in one or more hierarchy levels of a plurality of hierarchy levels of an integrated circuit (IC) design. The example method further includes generating one or more routes by routing one or more nets within or across the one or more hierarchy levels of the plurality of hierarchy levels. The example method further includes matching symmetric routes of the one or more routes at each of the one or more hierarchy levels irrespective of a number of physical hierarchies each associated net spans. The example method further includes placing one or more ports at one or more signal entry points where routes of the one or more routes cross physical hierarchy blocks.Type: GrantFiled: June 16, 2021Date of Patent: July 18, 2023Assignee: Synopsys, Inc.Inventors: Ashima Sahil Dabare, Sanjiv Mathur, Anusha Reddy Sindhwala, Prakasha Karkada Holla, Sivakumar Arulanantham, Srinivasan Krishnamurthy, Chun-Cheng Chi, Shih-Pin Hung
-
Patent number: 11705986Abstract: A method and a system for correcting cyclic redundancy check (CRC) for a frame with last bytes changed are provided. The method includes acquiring a data frame, calculating a CRC of a modified data frame, and determining a corrected CRC for the data frame based on at least the CRC of the modified data frame and a CRC correction field calculated on the bytes to be replaced at the end of the frame. An altered data frame includes the data frame with a number of last bytes of the data frame replaced with new bytes.Type: GrantFiled: December 30, 2021Date of Patent: July 18, 2023Assignee: Synopsys, Inc.Inventors: Jishnu De, Jaspreet Singh Gambhir, Jitendra Puri
-
Patent number: 11704471Abstract: A layout geometry of a lithographic mask is received. The layout geometry is partitioned into feature images, for example as selected from a library. The library contains predefined feature images and their corresponding precalculated mask 3D (M3D) filters. The M3D filter for a feature image represents the electromagnetic scattering effect of that feature image for a given source illumination. The mask function contribution from each of the feature images is calculated by convolving the feature image with its corresponding M3D filter. The mask function contributions are combined to determine a mask function for the lithographic mask illuminated by the source illumination.Type: GrantFiled: August 31, 2021Date of Patent: July 18, 2023Assignee: Synopsys, Inc.Inventor: Peng Liu
-
Publication number: 20230214574Abstract: 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: ApplicationFiled: December 19, 2022Publication date: July 6, 2023Applicant: Synopsys, Inc.Inventor: Dmitry Korchemny
-
Patent number: 11694016Abstract: A method includes receiving a netlist for a chip including a bus and determining, by one or more processors and based on the netlist, a first routing topology for the bus and through a routing region of the chip by comparing a demand of the bus to a capacity of a plurality of cells of the routing region. The method also includes generating a layout for the chip based on the first routing topology.Type: GrantFiled: June 11, 2021Date of Patent: July 4, 2023Assignee: Synopsys, Inc.Inventors: Zhengtao Yu, Balkrishna Rashingkar, David Peart, Douglas Chang, Yiding Han
-
Patent number: 11694010Abstract: A method includes identifying state holding pipeline stages in a pipeline path of a design for test (DFT) of an integrated circuit design, splitting each pattern of a plurality of patterns into a first part and a second part, reformatting the plurality of patterns to generate another plurality of patterns such that the first part and the second part of each pattern of the plurality patterns are included in different patterns of the another plurality of patterns. The length of the first part is a function of a number of the identified pipeline stages.Type: GrantFiled: November 3, 2021Date of Patent: July 4, 2023Assignee: Synopsys, Inc.Inventors: Amit Gopal M. Purohit, Sorin Ioan Popa, Denis Martin, Paras Chhabra