Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) · 1999 · 39 citations · 15 references
EngineeringComputer EngineeringComputer ScienceDesign AutomationDesign OptimizationOptimizationLogic SynthesisTiming AnalysisTiming ModelingCircuit Delay ModelingCircuit-level OptimizationDelay OptimizationDelay Optimization In Logic BlocksGradient Method OptimizationLogic OptimizationStatic Timing AnalysisTiming Optimization
This paper describes a method of optimally sizing digital circuits on a static-timing basis. All paths through the logic are considered simultaneously and no input patterns need be specified by the user. The method is unique in that it is based on gradient-based, nonlinear optimization and can accommodate transistor-level schematics without the need for pre-characterization. It employs efficient time-domain simulation and gradient computation for each channel-connected component. A large-scale, general-purpose, nonlinear optimization package is used to solve the tuning problem. A prototype tuner has been developed that accommodates combinational circuits consisting of parameterized library cells. Numerical results are presented.
15
GRASP-A new search algorithm for satisfiability
J.P. Marques Silva, Karem A. Sakallah · 2002 · 373 citations