A model generation and compilation system for improving electrical performance

The EPOXY system statically builds the equations that model circuit performance and sensitivity information. Although this approach requires more memory, the computation involved in evaluating circuit performance is significantly reduced. These equations are compiled internally for even faster evaluation. Transistor sizing alone may not be sufficient for meeting the required performance goals for a defined functional block. Therefore, this system considers local circuit changes such as inserting buffer stages, rearranging transistors within a pull-up or pull-down tree, and splitting large transistors so that cell height and width can be traded off. These circuit changes are implemented by directly modifying the performance equations. The benefits of deriving a static set of performance equations are described. Since compiling the performance equations offers a tremendous reduction in the overall running time, an examination is made of how EPOXY copes with the problems associated with feedback in a circuit and circuit-level modifications. Issues dealing with the equation aspects of formulating the transistor sizing program as a nonlinear optimization problem are presented. A discussion is presented of several evaluation techniques that are supported by EPOXY's internal compiler. Execution times and storage requirements are evaluated.<<ETX>>

[1]  Fred W. Obermeier An Open Architecture for Improving VLSI Circuit Performance , 1989 .

[2]  John K. Ousterhout A Switch-Level Timing Verifier for Digital MOS VLSI , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Kye S. Hedlund Aesop: A Tool for Automated Transistor Sizing , 1987, 24th ACM/IEEE Design Automation Conference.

[4]  Randy H. Katz,et al.  An electrical optimizer that considers physical layout , 1988, DAC '88.

[5]  Randy H. Katz,et al.  Combining circuit level changes with electrical optimization , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

[6]  J. Ecker Geometric Programming: Methods, Computations and Applications , 1980 .