会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 33. 发明授权
    • Methods to obtain a feasible integer solution in a hierarchical circuit layout optimization
    • 在分层电路布局优化中获得可行整数解的方法
    • US08302062B2
    • 2012-10-30
    • US12712880
    • 2010-02-25
    • Michael S. GrayXiaoping TangXin Yuan
    • Michael S. GrayXiaoping TangXin Yuan
    • G06F17/50
    • G06F17/5068
    • An approach that obtains a feasible integer solution in a hierarchical circuit layout optimization is described. In one embodiment, a hierarchical circuit layout and ground rule files are received as input. Constraints in the hierarchical circuit layout are represented as an original integer linear programming problem. A relaxed linear programming problem is derived from the original integer linear programming problem by relaxing integer constraints and using relaxation variables on infeasible constraints. The relaxed linear programming problem is solved to obtain a linear programming solution. Variables are then clustered, and at least one variable from each cluster is rounded to an integer value according to the linear programming solution. Next, it is determined whether all the variables are rounded to integer values. Unrounded variables are iterated back through the deriving of the integer linear programming problem, solving of the relaxed linear programming problem, and rounding of a subset of variables. A modified hierarchical circuit layout is generated in response to a determination that all the variables are rounded to integer values.
    • 描述了在分层电路布局优化中获得可行整数解的方法。 在一个实施例中,接收分级电路布局和接地规则文件作为输入。 分层电路布局中的约束被表示为原始的整数线性规划问题。 通过放松整数约束和对不可行约束使用松弛变量,从原始整数线性规划问题导出松弛的线性规划问题。 解决了松弛的线性规划问题,以获得线性规划解决方案。 然后将变量进行聚类,根据线性规划解决方案,每个集群中至少有一个变量将四舍五入为整数值。 接下来,确定所有变量是否四舍五入为整数值。 通过导出整数线性规划问题,解决松弛线性规划问题以及变量子集的舍入来迭代未包围的变量。 响应于所有变量被舍入到整数值的确定而产生修改的分层电路布局。
    • 35. 发明授权
    • Obtaining a feasible integer solution in a hierarchical circuit layout optimization
    • 在分层电路布局优化中获得可行的整数解
    • US07761818B2
    • 2010-07-20
    • US11782706
    • 2007-07-25
    • Michael S. GrayXiaoping TangXin Yuan
    • Michael S. GrayXiaoping TangXin Yuan
    • G06F17/50
    • G06F17/5068
    • An approach that obtains a feasible integer solution in a hierarchical circuit layout optimization is described. In one embodiment, a hierarchical circuit layout and ground rule files are received as input. Constraints in the hierarchical circuit layout are represented as an original integer linear programming problem. A relaxed linear programming problem is derived from the original integer linear programming problem by relaxing integer constraints and using relaxation variables on infeasible constraints. The relaxed linear programming problem is solved to obtain a linear programming solution. A subset of variables from the relaxed linear programming problem is rounded to integer values according to the linear programming solution. Next, it is determined whether all the variables are rounded to integer values. Unrounded variables are iterated back through the deriving of the integer linear programming problem, solving of the relaxed linear programming problem, and rounding of a subset of variables. A modified hierarchical circuit layout is generated in response to a determination that all the variables are rounded to integer values.
    • 描述了在分层电路布局优化中获得可行整数解的方法。 在一个实施例中,接收分级电路布局和接地规则文件作为输入。 分层电路布局中的约束被表示为原始的整数线性规划问题。 通过放松整数约束和对不可行约束使用松弛变量,从原始整数线性规划问题导出松弛的线性规划问题。 解决了松弛的线性规划问题,以获得线性规划解决方案。 来自松弛线性规划问题的变量子集根据线性规划解决方案舍入为整数值。 接下来,确定所有变量是否四舍五入为整数值。 通过导出整数线性规划问题,解决松弛线性规划问题以及变量子集的舍入来迭代未包围的变量。 响应于所有变量被舍入到整数值的确定而产生修改的分层电路布局。
    • 36. 发明申请
    • METHODS TO OBTAIN A FEASIBLE INTEGER SOLUTION IN A HIERARCHICAL CIRCUIT LAYOUT OPTIMIZATION
    • 在分层电路布局优化中获得可行整数解的方法
    • US20100153892A1
    • 2010-06-17
    • US12712880
    • 2010-02-25
    • Michael S. GrayXiaoping TangXin Yuan
    • Michael S. GrayXiaoping TangXin Yuan
    • G06F17/50
    • G06F17/5068
    • An approach that obtains a feasible integer solution in a hierarchical circuit layout optimization is described. In one embodiment, a hierarchical circuit layout and ground rule files are received as input. Constraints in the hierarchical circuit layout are represented as an original integer linear programming problem. A relaxed linear programming problem is derived from the original integer linear programming problem by relaxing integer constraints and using relaxation variables on infeasible constraints. The relaxed linear programming problem is solved to obtain a linear programming solution. Variables are then clustered, and at least one variable from each cluster is rounded to an integer value according to the linear programming solution. Next, it is determined whether all the variables are rounded to integer values. Unrounded variables are iterated back through the deriving of the integer linear programming problem, solving of the relaxed linear programming problem, and rounding of a subset of variables. A modified hierarchical circuit layout is generated in response to a determination that all the variables are rounded to integer values.
    • 描述了在分层电路布局优化中获得可行整数解的方法。 在一个实施例中,接收分级电路布局和接地规则文件作为输入。 分层电路布局中的约束被表示为原始的整数线性规划问题。 通过放松整数约束和对不可行约束使用松弛变量,从原始整数线性规划问题导出松弛的线性规划问题。 解决了松弛的线性规划问题,以获得线性规划解决方案。 然后将变量进行聚类,根据线性规划解决方案,每个集群中至少有一个变量将四舍五入为整数值。 接下来,确定所有变量是否四舍五入为整数值。 通过导出整数线性规划问题,解决松弛线性规划问题以及变量子集的舍入来迭代未包围的变量。 响应于所有变量被舍入到整数值的确定而产生修改的分层电路布局。