IDEAS home Printed from https://ideas.repec.org/a/inm/oropre/v53y2005i6p899-932.html
   My bibliography  Save this article

Digital Circuit Optimization via Geometric Programming

Author

Listed:
  • Stephen P. Boyd

    (Department of Electrical Engineering, Stanford University, Stanford, California 94305-9510)

  • Seung-Jean Kim

    (Department of Electrical Engineering, Stanford University, Stanford, California 94305-9510)

  • Dinesh D. Patil

    (Department of Electrical Engineering, Stanford University, Stanford, California 94305-9510)

  • Mark A. Horowitz

    (Department of Electrical Engineering, Stanford University, Stanford, California 94305-9510)

Abstract

This paper concerns a method for digital circuit optimization based on formulating the problem as a geometric program (GP) or generalized geometric program (GGP), which can be transformed to a convex optimization problem and then very efficiently solved. We start with a basic gate scaling problem, with delay modeled as a simple resistor-capacitor (RC) time constant, and then add various layers of complexity and modeling accuracy, such as accounting for differing signal fall and rise times, and the effects of signal transition times. We then consider more complex formulations such as robust design over corners, multimode design, statistical design, and problems in which threshold and power supply voltage are also variables to be chosen. Finally, we look at the detailed design of gates and interconnect wires, again using a formulation that is compatible with GP or GGP.

Suggested Citation

  • Stephen P. Boyd & Seung-Jean Kim & Dinesh D. Patil & Mark A. Horowitz, 2005. "Digital Circuit Optimization via Geometric Programming," Operations Research, INFORMS, vol. 53(6), pages 899-932, December.
  • Handle: RePEc:inm:oropre:v:53:y:2005:i:6:p:899-932
    DOI: 10.1287/opre.1050.0254
    as

    Download full text from publisher

    File URL: http://dx.doi.org/10.1287/opre.1050.0254
    Download Restriction: no

    File URL: https://libkey.io/10.1287/opre.1050.0254?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Arfst Ludwig & Rolf Möhring & Frederik Stork, 2001. "A Computational Study on Bounding the Makespan Distribution in Stochastic Project Networks," Annals of Operations Research, Springer, vol. 102(1), pages 49-64, February.
    2. George B. Kleindorfer, 1971. "Bounding Distributions for a Stochastic Acyclic Network," Operations Research, INFORMS, vol. 19(7), pages 1586-1601, December.
    3. Richard M. Van Slyke, 1963. "Letter to the Editor---Monte Carlo Methods and the PERT Problem," Operations Research, INFORMS, vol. 11(5), pages 839-860, October.
    4. H. O. Hartley & A. W. Wortham, 1966. "A Statistical Theory for PERT Critical Path Analysis," Management Science, INFORMS, vol. 12(10), pages 469-481, June.
    5. Bajis Dodin, 1984. "Determining the K Most Critical Paths in PERT Networks," Operations Research, INFORMS, vol. 32(4), pages 859-877, August.
    6. R. A. Bowman, 1995. "Efficient Estimation of Arc Criticalities in Stochastic Activity Networks," Management Science, INFORMS, vol. 41(1), pages 58-67, January.
    7. Luc P. Devroye, 1979. "Inequalities for the Completion Times of Stochastic PERT Networks," Mathematics of Operations Research, INFORMS, vol. 4(4), pages 441-447, November.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Angelo Ciccazzo & Gianni Di Pillo & Vittorio Latorre, 2015. "A SVM Surrogate Model Based Method for Yield Optimization in Electronic Circuit Design," DIAG Technical Reports 2015-03, Department of Computer, Control and Management Engineering, Universita' degli Studi di Roma "La Sapienza".
    2. Wolfram Wiesemann & Daniel Kuhn & Berc Rustem, 2009. "Robust Resource Allocations in Temporal Networks," Working Papers 020, COMISEF.
    3. Lu, Hao-Chun, 2020. "Indicator of power convex and exponential transformations for solving nonlinear problems containing posynomial terms," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 538(C).
    4. Amir Ardestani-Jaafari & Erick Delage, 2016. "Robust Optimization of Sums of Piecewise Linear Functions with Application to Inventory Problems," Operations Research, INFORMS, vol. 64(2), pages 474-494, April.
    5. Hao-Chun Lu & Liming Yao, 2019. "Efficient Convexification Strategy for Generalized Geometric Programming Problems," INFORMS Journal on Computing, INFORMS, vol. 31(2), pages 226-234, April.
    6. Han-Lin Li & Hao-Chun Lu, 2009. "Global Optimization for Generalized Geometric Programs with Mixed Free-Sign Variables," Operations Research, INFORMS, vol. 57(3), pages 701-713, June.
    7. Rashed Khanjani-Shiraz & Salman Khodayifar & Panos M. Pardalos, 2021. "Copula theory approach to stochastic geometric programming," Journal of Global Optimization, Springer, vol. 81(2), pages 435-468, October.
    8. Warren P. Adams & Stephen M. Henry, 2012. "Base-2 Expansions for Linearizing Products of Functions of Discrete Variables," Operations Research, INFORMS, vol. 60(6), pages 1477-1490, December.
    9. Hao-Chun Lu, 2017. "Improved logarithmic linearizing method for optimization problems with free-sign pure discrete signomial terms," Journal of Global Optimization, Springer, vol. 68(1), pages 95-123, May.
    10. Guillermo Angeris & Akshay Agrawal & Alex Evans & Tarun Chitra & Stephen Boyd, 2021. "Constant Function Market Makers: Multi-Asset Trades via Convex Optimization," Papers 2107.12484, arXiv.org.
    11. Huan Xu & Constantine Caramanis & Shie Mannor, 2012. "A Distributional Interpretation of Robust Optimization," Mathematics of Operations Research, INFORMS, vol. 37(1), pages 95-110, February.
    12. Seyed Ahmad Yazdian & Kamran Shahanaghi & Ahmad Makui, 2016. "Joint optimisation of price, warranty and recovery planning in remanufacturing of used products under linear and non-linear demand, return and cost functions," International Journal of Systems Science, Taylor & Francis Journals, vol. 47(5), pages 1155-1175, April.
    13. Belleh Fontem, 2023. "Robust Chance-Constrained Geometric Programming with Application to Demand Risk Mitigation," Journal of Optimization Theory and Applications, Springer, vol. 197(2), pages 765-797, May.
    14. Xinlei Wang & Johan Lim & Seung-Jean Kim & Kyu Hahn, 2015. "Estimating cell probabilities in contingency tables with constraints on marginals/conditionals by geometric programming with applications," Computational Statistics, Springer, vol. 30(1), pages 107-129, March.
    15. Hua Zhou & Kenneth Lange, 2015. "Path following in the exact penalty method of convex programming," Computational Optimization and Applications, Springer, vol. 61(3), pages 609-634, July.
    16. Angelo Ciccazzo & Vittorio Latorre & Giampaolo Liuzzi & Stefano Lucidi & Francesco Rinaldi, 2015. "Derivative-Free Robust Optimization for Circuit Design," Journal of Optimization Theory and Applications, Springer, vol. 164(3), pages 842-861, March.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Tetsuo Iida, 2000. "Computing bounds on project duration distributions for stochastic PERT networks," Naval Research Logistics (NRL), John Wiley & Sons, vol. 47(7), pages 559-580, October.
    2. Yousry Abdelkader, 2010. "Adjustment of the moments of the project completion times when activity times are exponentially distributed," Annals of Operations Research, Springer, vol. 181(1), pages 503-514, December.
    3. Li, Xiaobo & Natarajan, Karthik & Teo, Chung-Piaw & Zheng, Zhichao, 2014. "Distributionally robust mixed integer linear programs: Persistency models with applications," European Journal of Operational Research, Elsevier, vol. 233(3), pages 459-473.
    4. Gary Mitchell, 2010. "On Calculating Activity Slack in Stochastic Project Networks," American Journal of Economics and Business Administration, Science Publications, vol. 2(1), pages 78-85, March.
    5. Van de Vonder, Stijn & Demeulemeester, Erik & Herroelen, Willy & Leus, Roel, 2005. "The use of buffers in project management: The trade-off between stability and makespan," International Journal of Production Economics, Elsevier, vol. 97(2), pages 227-240, August.
    6. J-G Cho & B-J Yum, 2004. "Functional estimation of activity criticality indices and sensitivity analysis of expected project completion time," Journal of the Operational Research Society, Palgrave Macmillan;The OR Society, vol. 55(8), pages 850-859, August.
    7. Elmaghraby, S. E. & Fathi, Y. & Taner, M. R., 1999. "On the sensitivity of project variability to activity mean duration," International Journal of Production Economics, Elsevier, vol. 62(3), pages 219-232, September.
    8. Fernando Acebes & Javier Pajares & Jose M Gonzalez-Varona & Adolfo Lopez-Paredes, 2024. "Project Risk Management from the bottom-up: Activity Risk Index," Papers 2406.00078, arXiv.org.
    9. Schmidt, Craig W. & Grossmann, Ignacio E., 2000. "The exact overall time distribution of a project with uncertain task durations," European Journal of Operational Research, Elsevier, vol. 126(3), pages 614-636, November.
    10. Brucker, Peter & Drexl, Andreas & Mohring, Rolf & Neumann, Klaus & Pesch, Erwin, 1999. "Resource-constrained project scheduling: Notation, classification, models, and methods," European Journal of Operational Research, Elsevier, vol. 112(1), pages 3-41, January.
    11. Fatemi Ghomi, S. M. T. & Hashemin, S. S., 1999. "A new analytical algorithm and generation of Gaussian quadrature formula for stochastic network," European Journal of Operational Research, Elsevier, vol. 114(3), pages 610-625, May.
    12. Zhichao Zheng & Karthik Natarajan & Chung-Piaw Teo, 2016. "Least Squares Approximation to the Distribution of Project Completion Times with Gaussian Uncertainty," Operations Research, INFORMS, vol. 64(6), pages 1406-1421, December.
    13. Bregman, Robert L., 2009. "A heuristic procedure for solving the dynamic probabilistic project expediting problem," European Journal of Operational Research, Elsevier, vol. 192(1), pages 125-137, January.
    14. Fernando Acebes & Javier Pajares & José M. González-Varona & Adolfo López-Paredes, 2021. "Project risk management from the bottom-up: Activity Risk Index," Central European Journal of Operations Research, Springer;Slovak Society for Operations Research;Hungarian Operational Research Society;Czech Society for Operations Research;Österr. Gesellschaft für Operations Research (ÖGOR);Slovenian Society Informatika - Section for Operational Research;Croatian Operational Research Society, vol. 29(4), pages 1375-1396, December.
    15. E Saliby & R J Paul, 2009. "A farewell to the use of antithetic variates in Monte Carlo simulation," Journal of the Operational Research Society, Palgrave Macmillan;The OR Society, vol. 60(7), pages 1026-1035, July.
    16. Fatemi Ghomi, S. M. T. & Rabbani, M., 2003. "A new structural mechanism for reducibility of stochastic PERT networks," European Journal of Operational Research, Elsevier, vol. 145(2), pages 394-402, March.
    17. Li, Haitao & Womer, Norman K., 2015. "Solving stochastic resource-constrained project scheduling problems by closed-loop approximate dynamic programming," European Journal of Operational Research, Elsevier, vol. 246(1), pages 20-33.
    18. Williams, Terry, 1999. "Towards realism in network simulation," Omega, Elsevier, vol. 27(3), pages 305-314, June.
    19. Elise D. Miller-Hooks & Hani S. Mahmassani, 2000. "Least Expected Time Paths in Stochastic, Time-Varying Transportation Networks," Transportation Science, INFORMS, vol. 34(2), pages 198-215, May.
    20. Vaseghi, Forough & Martens, Annelies & Vanhoucke, Mario, 2024. "Analysis of the impact of corrective actions for stochastic project networks," European Journal of Operational Research, Elsevier, vol. 316(2), pages 503-518.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:inm:oropre:v:53:y:2005:i:6:p:899-932. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Chris Asher (email available below). General contact details of provider: https://edirc.repec.org/data/inforea.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.