公开(公告)号：US08751983B1

公开(公告)日：2014-06-10

申请号：US13789192

申请日：2013-03-07

Applicant: Oracle International Corporation

Inventor： Thomas Mitchell ,  Krishnan Sundaresan ,  Quan Tran ,  Yibin Xia

IPC: G06F17/50

CPC classification number: G06F17/5045

Abstract: A design partitioning method and apparatus includes an RTL reader module configured to receive, process, and parse hardware descriptive language of a circuit design; an expression graph module configured to trace identified signal dependencies to determine dependent elements along selected paths within the circuit design; a hierarchy flattener module configured to remove existing circuit design hierarchies based on the identified signal dependencies and determined dependent elements; a partition specification reader module that defines selected paths within the circuit design into a partition specification; a design partitioner module configured to separate the flattened circuit design hierarchy according to the partition specification; a re-partitioner module configured to create a second hierarchical circuit design structure based on the separated, flattened circuit design hierarchy that is behaviorally identical to the circuit design; and an RTL design write-out module configured to output the second hierarchical circuit design structure for analysis.

Abstract translation: 一种设计划分方法和装置，包括：RTL读取器模块，被配置为接收，处理和解析电路设计的硬件描述语言; 表示图模块，其被配置为跟踪所识别的信号依赖性以确定沿着所述电路设计内的选定路径的依赖元件; 层级平整器模块，被配置为基于所识别的信号依赖性和确定的依赖元素来去除现有的电路设计层级; 分区规范读取器模块，其将所述电路设计内的所选路径定义为分区规范; 设计分割器模块，被配置为根据分区规范分离扁平化的电路设计层级; 重新分割器模块，其被配置为基于与所述电路设计行为相同的分离的，扁平化的电路设计层级来创建第二分层电路设计结构; 以及被配置为输出用于分析的第二分层电路设计结构的RTL设计写出模块。

公开(公告)号：US10325050B2

公开(公告)日：2019-06-18

申请号：US15099299

申请日：2016-04-14

Applicant: Oracle International Corporation

Inventor： Mani Viswanath ,  Thomas Mitchell ,  John Eitrheim

IPC: G06F17/50

Abstract: A method for designing a circuit. The method may include obtaining a register-transfer level (RTL) file for an integrated circuit. The method may further include generating, using an RTL-synthesis compiler and from the RTL file, a gate-level netlist including a plurality of cells assigned to a plurality of cell groups. The method may further include obtaining, from a user, a selection of a user-defined criterion and a selected cell group from the plurality of cell groups. The method may further include partitioning the selected cell group into a first partitioned cell group including a first subset of the plurality of cells and a second partitioned cell group comprising a second subset of the plurality of cells. The method may further include generating a floorplan comprising the first partitioned cell group and the second partitioned cell group.

公开(公告)号：US20170300601A1

公开(公告)日：2017-10-19

申请号：US15099317

申请日：2016-04-14

Applicant: Oracle International Corporation

Inventor： Mani Viswanath ,  Thomas Mitchell

IPC: G06F17/50

CPC classification number: G06F17/505 ,  G06F17/5072

Abstract: A method for designing a circuit. The method may include obtaining a register-transfer level (RTL) file for an integrated circuit. The method may further include generating, using an RTL-Synthesis compiler and from the RTL file, a gate-level netlist including a plurality of cells for the integrated circuit. The method may further include determining, using a cross-probe criterion, an amount of cross-correlation between a first cell and a second cell in the gate-level netlist. The method may further include generating, in response to the amount of cross-correlation exceeding a correlation threshold, a cell group including the first cell and the second cell. The method may further include determining a boundary condition for the cell group. The method may further include generating a floorplan. The first cell and the second cell may be placed in the floorplan according to the boundary condition.

公开(公告)号：US09886539B2

公开(公告)日：2018-02-06

申请号：US15099317

申请日：2016-04-14

Applicant: Oracle International Corporation

Inventor： Mani Viswanath ,  Thomas Mitchell

IPC: G06F17/50

CPC classification number: G06F17/505 ,  G06F17/5072

Abstract: A method for designing a circuit. The method may include obtaining a register-transfer level (RTL) file for an integrated circuit. The method may further include generating, using an RTL-Synthesis compiler and from the RTL file, a gate-level netlist including a plurality of cells for the integrated circuit. The method may further include determining, using a cross-probe criterion, an amount of cross-correlation between a first cell and a second cell in the gate-level netlist. The method may further include generating, in response to the amount of cross-correlation exceeding a correlation threshold, a cell group including the first cell and the second cell. The method may further include determining a boundary condition for the cell group. The method may further include generating a floorplan. The first cell and the second cell may be placed in the floorplan according to the boundary condition.

公开(公告)号：US20170300600A1

公开(公告)日：2017-10-19

申请号：US15099299

申请日：2016-04-14

Applicant: Oracle International Corporation

Inventor： Mani Viswanath ,  Thomas Mitchell ,  John Eitrheim

IPC: G06F17/50

CPC classification number: G06F17/505 ,  G06F17/5068 ,  G06F17/5072 ,  G06F2217/08

Abstract: A method for designing a circuit. The method may include obtaining a register-transfer level (RTL) file for an integrated circuit. The method may further include generating, using an RTL-synthesis compiler and from the RTL file, a gate-level netlist including a plurality of cells assigned to a plurality of cell groups. The method may further include obtaining, from a user, a selection of a user-defined criterion and a selected cell group from the plurality of cell groups. The method may further include partitioning the selected cell group into a first partitioned cell group including a first subset of the plurality of cells and a second partitioned cell group comprising a second subset of the plurality of cells. The method may further include generating a floorplan comprising the first partitioned cell group and the second partitioned cell group.