公开(公告)号：US20080072215A1

公开(公告)日：2008-03-20

申请号：US11986253

申请日：2007-11-19

申请人： Stephen Boyd ,  Xiling Shen ,  Mar Hershenson ,  Lieven Vandenberghe ,  Cesar Crusius ,  Dave Colleran ,  Sunderarjan Mohan

发明人： Stephen Boyd ,  Xiling Shen ,  Mar Hershenson ,  Lieven Vandenberghe ,  Cesar Crusius ,  Dave Colleran ,  Sunderarjan Mohan

IPC分类号： G06F9/44

CPC分类号： G06F17/11 ,  G06F8/427

摘要： A method and apparatus for parsing signomial and geometric programs, referred to herein as “the Parser”. Signomial and Geometric programming is a unique class of mathematical problems that is useful in the study of optimization problems. The Parser is a program designed to recognize and parse both signomial and geometric programs such that they may be accepted and solved by signomial and geometric program solvers. The Parser accepts an optimization problem from a user in the form of algebraic expressions. The Parser can then identify the problem as a signomial program and can further determine if it reduces to a geometric program. If either a signomial or geometric program exists, the Parser converts the algebraic expressions to a compact numeric format that can be accepted by a computer-aided solver. In the case of a geometric program, the solver may find a global solution to the optimization problem. However, in the case of signomial program, the solver may only find a local solution. The solution found by the solver is routed back to the Parser which reports it in a user-readable format.

摘要翻译： 用于解析符号和几何程序的方法和装置，这里称为“解析器”。 符号和几何编程是一类独特的数学问题，在优化问题的研究中是有用的。 解析器是一种旨在识别和解析符号和几何程序的程序，使得它们可以被符号和几何程序解算器接受和解决。 解析器以代数表达式的形式接受用户的优化问题。 然后，解析器可以将问题识别为签名程序，并且可以进一步确定它是否减少到几何程序。 如果存在符号或几何程序，则Parser将代数表达式转换为可由计算机辅助求解器接受的紧凑数字格式。 在几何程序的情况下，求解器可以找到优化问题的全局解。 然而，在签名程序的情况下，求解器只能找到本地解决方案。 解决方案找到的解决方案被路由回到以用户可读格式报告的解析器。

公开(公告)号：US07299459B1

公开(公告)日：2007-11-20

申请号：US09752541

申请日：2000-12-29

申请人： Stephen Boyd ,  Xiling Shen ,  Mar Hershenson ,  Lieven Vandenberghe ,  Cesar Crusius ,  Dave Colleran ,  Sunderarjan Mohan

发明人： Stephen Boyd ,  Xiling Shen ,  Mar Hershenson ,  Lieven Vandenberghe ,  Cesar Crusius ,  Dave Colleran ,  Sunderarjan Mohan

IPC分类号： G06F9/45 ,  G06F7/60

CPC分类号： G06F17/11 ,  G06F8/427

摘要： A method and apparatus for parsing signomial and geometric programs, referred to herein as “the Parser”. Signomial and Geometric programming is a unique class of mathematical problems that is useful in the study of optimization problems. The Parser is a program designed to recognize and parse both signomial and geometric programs such that they may be accepted and solved by signomial and geometric program solvers. The Parser accepts an optimization problem from a user in the form of algebraic expressions. The Parser can then identify the problem as a signomial program and can further determine if it reduces to a geometric program. If either a signomial or geometric program exists, the Parser converts the algebraic expressions to a compact numeric format that can be accepted by a computer-aided solver. In the case of a geometric program, the solver may find a global solution to the optimization problem. However, in the case of signomial program, the solver may only find a local solution. The solution found by the solver is routed back to the Parser which reports it in a user-readable format.

摘要翻译： 用于解析符号和几何程序的方法和装置，这里称为“解析器”。 符号和几何编程是一类独特的数学问题，在优化问题的研究中是有用的。 解析器是一种旨在识别和解析符号和几何程序的程序，使得它们可以被符号和几何程序解算器接受和解决。 解析器以代数表达式的形式接受用户的优化问题。 然后，解析器可以将问题识别为签名程序，并且可以进一步确定它是否减少到几何程序。 如果存在符号或几何程序，则Parser将代数表达式转换为可由计算机辅助求解器接受的紧凑数字格式。 在几何程序的情况下，求解器可以找到优化问题的全局解。 然而，在签名程序的情况下，求解器只能找到本地解决方案。 解决方案找到的解决方案被路由回到以用户可读格式报告的解析器。

公开(公告)号：US06289490B1

公开(公告)日：2001-09-11

申请号：US09169905

申请日：1998-10-08

申请人： Stephen P. Boyd ,  Abbas El Gamal ,  Lieven Vandenberghe

发明人： Stephen P. Boyd ,  Abbas El Gamal ,  Lieven Vandenberghe

IPC分类号： G06F1750

CPC分类号： G06F17/5063 ,  G06F17/505 ,  G06F17/5068

摘要： A method for optimizing an integrated circuit uses a dominant time constant of a transition of the circuit. A physical layout of the circuit is characterized in terms of design parameters. The circuit is modeled by a conductance matrix G and a capacitance matrix C, wherein G and C are affine functions of the design parameters. The optimization method comprises the step of finding the values of the design parameters that optimize a property of the circuit while simultaneously enforcing a constraint that the dominant time constant must be less than a maximum value tmax. Mathematically, the constraint on the dominant time constant can be written: tmax G−C≧0. The optimization method can be used when the circuit has a non-tree topology. Furthermore, when the design parameters comprise variables that relate to sizes of elements of the circuit, a topology of the circuit is optimized by the optimization method. In some embodiments the circuit is optimized for a plurality of transitions, and in some embodiments the design parameters are subject to design constraints.

摘要翻译： 用于优化集成电路的方法使用电路的转变的主要时间常数。 电路的物理布局的特点是设计参数。 电路由电导矩阵G和电容矩阵C建模，其中G和C是设计参数的仿射函数。 优化方法包括找到优化电路性质的设计参数的值的步骤，同时强制主导时间常数必须小于最大值tmax的约束。 在数学上，主导时间常数的约束可以写成：tmax G-C> = 0。 当电路具有非树形拓扑结构时，可以使用优化方法。 此外，当设计参数包括与电路元件的尺寸相关的变量时，通过优化方法优化电路的拓扑。 在一些实施例中，电路针对多个转换进行了优化，并且在一些实施例中，设计参数受到设计限制。