公开(公告)号：US20240362393A1

公开(公告)日：2024-10-31

申请号：US18139659

申请日：2023-04-26

申请人： Xilinx, Inc.

发明人： Apurva Abhijit Mirashi ,  Veeresh Pratap Singh ,  Meghraj Kalase ,  Srinivasan Dasasathyan

IPC分类号： G06F30/394 ,  G06F30/31 ,  G06F30/323 ,  G06F30/327 ,  G06F30/392

CPC分类号： G06F30/394 ,  G06F30/31 ,  G06F30/323 ,  G06F30/327 ,  G06F30/392

摘要： A congestion prediction machine learning model is trained to generate, prior to placement, a prediction value indicative of a congestion level likely to result from placement and routing of a netlist based on features of the netlist. In response to the prediction value indicating the congestion level is greater than a threshold, a design tool determines an implementation-flow action and performs the implementation-flow action to generate implementation data that is suitable for making an integrated circuit.

公开(公告)号：US12039240B2

公开(公告)日：2024-07-16

申请号：US17517322

申请日：2021-11-02

申请人： REALTEK SEMICONDUCTOR CORP.

发明人： Hsing-Han Tseng ,  Yung-Jen Chen ,  Yu-Lan Lo

IPC分类号： G06F30/3312 ,  G06F30/323 ,  G06F30/327 ,  G06F119/12

CPC分类号： G06F30/3312 ,  G06F30/323 ,  G06F30/327 ,  G06F2119/12

摘要： An integrated circuit simulation method is performed by a processor and includes: obtaining a register transfer level (RTL) waveform set obtained by performing an RTL simulation based on a circuit, where the circuit is generated in an RTL design stage and includes a register having an internal net and a data output port, and the RTL waveform set includes a first waveform corresponding to the data output port of the register; obtaining a netlist and delay information obtained by performing a logic synthesis based on the circuit, where the netlist includes a first node and a second node, the first node corresponds to the internal net of the register, and the second node corresponds to the data output port of the register; applying the first waveform to the first node; and triggering the register according to the delay information to obtain a second waveform at the second node.

公开(公告)号：US11983474B1

公开(公告)日：2024-05-14

申请号：US17561371

申请日：2021-12-23

申请人： Synopsys, Inc.

发明人： Parijat Biswas ,  Badri Gopalan ,  Enzhi Ni ,  Danish Jawed ,  Ying Chen ,  Jiang Chen

IPC分类号： G06F30/30 ,  G01R31/3183 ,  G06F30/323 ,  G06F30/3308

CPC分类号： G06F30/3308 ,  G01R31/31835 ,  G01R31/318357 ,  G06F30/323

摘要： A method for verifying an integrated circuit (IC) design described in a hardware description or hardware verification language (HDHVL) is provided. The method includes identifying connections between random variables and coverage areas of the IC design, as described in HDHVL code, the connections being identified by determining which coverage areas of the IC design will be influenced during simulation by which random variables. The method can further include storing the identified connections in a database, and using, by a processor, connections retrieved from the database to simulate and verify the coverage areas of the IC design.

公开(公告)号：US20240061035A1

公开(公告)日：2024-02-22

申请号：US18071080

申请日：2022-11-29

申请人： Synopsys, Inc.

发明人： Mayukh BHATTACHARYA ,  Jonti TALUKDAR ,  Shan YUAN ,  Huiping HUANG

IPC分类号： G01R31/28 ,  G06F30/323 ,  G06F30/3308

CPC分类号： G01R31/2848 ,  G06F30/323 ,  G06F30/3308

摘要： A method of determining defect sensitization includes parsing a netlist of a circuit design to determine a plurality of potential defects and partitioning the circuit design into a plurality of blocks. The method also includes generating a graph representing the circuit design and determining a transitive closure of the graph. The method further includes grouping the plurality of potential defects to produce a plurality of groups of potential defects and selecting a potential defect from each group of the plurality of groups to form a simulation group of potential defects. The method also includes simulating the circuit design by injecting, into the circuit design, every potential defect of the simulation group to produce a set of outputs of the plurality of blocks and determining a defect sensitization for the simulation group of potential defects based on the set of outputs of the plurality of blocks.

公开(公告)号：US11853665B2

公开(公告)日：2023-12-26

申请号：US17490700

申请日：2021-09-30

申请人： Synopsys, Inc.

发明人： Parijat Biswas ,  Minakshi Chakravorty ,  Sitikant Sahu

IPC分类号： G06F30/323

CPC分类号： G06F30/323

摘要： Hardware description language (HDL) code for an integrated circuit (IC) design may be parsed to obtain an IC design parse tree. A transformation pattern may include a first pattern and a second pattern. The transformation pattern may be parsed to obtain a transformation pattern parse tree. The IC design parse tree and the transformation pattern parse tree may be used to identify a portion of the HDL code that matches the first pattern. The identified portion of the HDL code may be transformed based on the second pattern to obtain a transformed portion of the HDL code. The portion of the HDL code may be replaced by the transformed portion of the HDL code.

公开(公告)号：US11699010B2

公开(公告)日：2023-07-11

申请号：US17365468

申请日：2021-07-01

申请人： TAIWAN SEMICONDUCTOR MANUFACTURING COMPANY, LTD. ,  TSMC NANJING COMPANY, LIMITED

发明人： Sandeep Kumar Goel ,  Ankita Patidar ,  Yun-Han Lee

IPC分类号： G06F30/323 ,  G06F30/3323 ,  G06F30/392 ,  G06F30/394 ,  G03F1/70 ,  G06F119/12

CPC分类号： G06F30/323 ,  G03F1/70 ,  G06F30/3323 ,  G06F30/392 ,  G06F30/394 ,  G06F2119/12

摘要： A method of manufacturing a semiconductor device includes reducing errors in a migration of a first netlist to a second netlist, the first netlist corresponding to a first semiconductor process technology (SPT), the second first netlist corresponding to a second SPT, the first and second netlists each representing a same circuit design, the reducing errors including: inspecting a timing constraint list corresponding to the second netlist for addition candidates; generating a first version of the second netlist having a first number of comparison points relative to a logic equivalence check (LEC) context, the first number of comparison points being based on the addition candidates; performing a LEC between the first netlist and the first version of the second netlist, thereby identifying migration errors; and revising the second netlist to reduce the migration errors, thereby resulting in a second version of the second netlist.

公开(公告)号：US20230177244A1

公开(公告)日：2023-06-08

申请号：US18076007

申请日：2022-12-06

申请人： Synopsys, Inc.

发明人： Prasun Das ,  Pratik Mahajan ,  Alfred Koelbl ,  Henna Arora

IPC分类号： G06F30/3323 ,  G06F30/323

CPC分类号： G06F30/3323 ,  G06F30/323

摘要： A method of verifying connectivity in a circuit design, includes, in part, receiving a netlist of the circuit design; designating a plurality of destination nodes associated with the netlist; for each of the plurality of destination nodes, identifying one or more source nodes that are traversed from the destination node; for each source node identified as traversed from the destination node: transforming the netlist by including a first multiplexer having a first input terminal receiving a first variable logic value and an output terminal coupled to the source node; and enabling the first multiplexer to pass the first variable value to the destination node from the source node in order to check for connectivity between the source node and the destination node.

公开(公告)号：US20230138706A1

公开(公告)日：2023-05-04

申请号：US17516476

申请日：2021-11-01

申请人： X Development LLC

发明人： Raj Apte ,  Cyrus Behroozi ,  Kathryn Heal ,  Owen Lewis ,  Zhigang Pan ,  Dino Ruic

IPC分类号： G06F30/398 ,  G06F30/27 ,  G06F30/323

摘要： Embodiments of a system and method for generating integrated circuit layouts are described herein. A computer implemented method for generating integrated circuit layouts includes receiving a first layout for an integrated circuit, segmenting the first layout into a plurality of different patches, each patch of the plurality of patches describing a discrete portion of the first layout, identifying a non-compliant patch of the plurality of patches, the non-compliant patch violating a design rule governing the manufacture of the integrated circuit, generating a transformation of the non-compliant patch using a machine learning model, and generating a second layout using the transformation and the first layout, where the second layout is compliant with the design rule.

公开(公告)号：US20230096934A1

公开(公告)日：2023-03-30

申请号：US17826237

申请日：2022-05-27

申请人： CHANGXIN MEMORY TECHNOLOGIES, INC.

发明人： Shao YOU

IPC分类号： G06F30/323

摘要： An integrated circuit post-layout simulation method and device, an electronic device and a storage medium are provided and belong to the technical field of semiconductors. The integrated circuit post-layout simulation method includes: acquiring a pre-layout simulation netlist of a to-be-simulated circuit; acquiring a first parasitic netlist of a target sub-element in the to-be-simulated circuit; acquiring a simulation netlist of the to-be-simulated circuit using the first parasitic netlist and the pre-layout simulation netlist; and simulating the simulation netlist.

公开(公告)号：US20230072735A1

公开(公告)日：2023-03-09

申请号：US17468340

申请日：2021-09-07

申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION

发明人： Ali S. El-Zein ,  Wolfgang Roesner ,  Stephen Gerard Shuma ,  Robert Lowell Kanzelman ,  Michael Hemsley Wood ,  Chung-Lung K. Shum ,  Gabor Bobok ,  Robert James Shadowen ,  Viresh Paruthi ,  Derek E. Williams

IPC分类号： G06F30/323 ,  G06F30/3323 ,  G06F30/327

摘要： A processor receives an expression of design refinement intent with regard to an entity forming a part of a modular circuit design. The entity is defined by a hardware description language (HDL) file, and the expression of design refinement intent identifies an intent region within an implementation of the entity and specifies replacement logic for the region. Based on the expression of design refinement intent, the processor automatically modifies the HDL file by replacing logic within the intent region with the replacement logic. The processor then performs logical synthesis to generate a gate list representation of the modular circuit design as modified.