ABSTRACT
In this paper we present a method for determining the feasible set of analog design problems and we propose an efficient method for their verification. The verification method presented relies on the formulation of the analog circuit design problem as a convex optimization problem in both the design variables and the performance specifications. Since the design is convex not only in the design variables but also in the specification parameters, we observe that the feasible sets are convex and points at the boundary can be found by solving a single convex optimization problem. We also show that feasible sets can be very well approximated with a polyhedron and therefore defined by a finite set of points. The implication of the latter is that new verifications do not need to be run for every new instantiation of a synthesized analog cell.
- IBS Corporation. Industry reports, 2002.Google Scholar
- G. Moretti. The next wave synthesis tools help with mixed-signal design. Electronic Design Magazine, November 2002.Google Scholar
- E. S. Ochotta, R. A. Rutenbar, and L. R. Carley. Synthesis of high-performance analog circuits in ASTRX/OBLX. IEEE Transactions on Computer-Aided Design, 15:273--293, March 1996. Google ScholarDigital Library
- W. Nye, D. C. Riley, A. Sangiovanni-Vincentelli, and A. L. Tits. DELIGHT.SPICE: An optimization-based system for the design of integrated circuits. IEEE Transactions on Computer-Aided Design, 7:501--518, April 1988.Google ScholarDigital Library
- M. Hershenson, S. Boyd, and T. H. Lee. Optimal design of a CMOS op-amp via geometric programming. IEEE Transactions on Computer-Aided Design, 20:1--21, January 2001. Google ScholarDigital Library
- W. Daems, G. Gielen, and W. Sansen. An efficient optimization-based technique to generate posynomial performance models for analog. In 39th Design Automation Conference, pages 431--436, 2002. Google ScholarDigital Library
- A. Hassibi and M. Hershenson. Automated optimal design of switched-capacitor filters. In Design, Automation and Test in Europe Conference and Exhibition, page 1111, 2002. Google ScholarDigital Library
- C. Liu and Y. Li. Optimal design of CMOS low noise amplifiers via geometric programming. EE227 Final Project, 2001.Google Scholar
- M. Hershenson. Design of pipeline analog-to-digital convertes via geometric programming. In Proceedings of the 2002 IEEE/ACM International Conference on Computer Aided Design, November 2002. Google ScholarDigital Library
- D. Ham and A. Hajimiri. Concepts and methods in optimization of integrated LC VCOs. IEEE Journal of Solid-State Circuits, 36:896--909, June 2001.Google ScholarCross Ref
- R. J. Duffin, E. L. Peterson, and C. Zener. Geometric Programming - Theory and Applications. Wiley, 1967.Google Scholar
- S. Boyd and L. Vandenberghe. Convex Optimization. Cambridge University Press, 2003. Google ScholarDigital Library
- J. W. Chinneck. Discovering the characteristics of mathematical programs via sampling. Technical report, Carleton Univeristy, 2000.Google Scholar
Index Terms
- Efficient description of the design space of analog circuits
Recommendations
Synthesis and optimization of multiple-valued combinational and sequential reversible circuits with don't cares
In this paper, a synthesis method for combinational multiple-valued reversible logic (MVRL) circuits is proposed. This algorithm can use the don't care values in the synthesis process to obtain the optimal circuit with respect to quantum cost. The ...
Synthesis of skewed logic circuits
Skewed logic circuits belong to a noise-tolerant high-performance static circuit family. Skewed logic circuits can achieve performance comparable to that of Domino logic circuits but with much lower power consumption. Two factors contribute to the ...
Efficient minarea retiming of large level-clocked circuits
DATE '98: Proceedings of the conference on Design, automation and test in EuropeDelay-constrained area optimization is an important step in synthesis of VLSI circuits. Minimum area (minarea) retiming is a powerful technique to solve this problem. The minarea retiming problem has been formulated as a linear program; in this work we ...
Comments