Constraint-Driven Design Methodology: A Path to Analog Design Automation
Physical design for analog ICs has not been automated to the same degree as digital IC design, but such automation can significantly improve the productivity of circuit engineers. Analog design remains difficult to formalize due to a large amount of expert knowledge involved, such as sophisticated constraints that are specified manually and satisfied through manual layout. We therefore propose a constraint-driven design methodology – a suite of algorithms and methodologies to capture key rules governing analog layouts and to produce layouts that satisfy these rules. In this chapter, we identify major challenges in analog physical design, and relate them to constraints.We introduce techniques for constraint representation and highlight the essential components of a constraint-driven design methodology. Finally, we explain how constraint-driven design impacts a typical analog design flow, layout algorithms, and the overall physical design methodology.
KeywordsConstraint Solver Constraint Logic Programming Design Context Complex Constraint Simple Constraint
Unable to display preview. Download preview PDF.
We would like to thank Jürgen Scheible of Robert Bosch GmbH and Ammar Nassaj of IFTE at Dresden University of Technology for the many fruitful discussions related to the topic of this chapter.
- 1.S. Abdennadher, E. Krämer, M. Saft, and M. Schmauss. JACK: A Java constraint kit. In Proc. Int. Workshop Functional and (Constraint) Logic Programming, volume 64, pages 1–17. Elsevier B.V., Amsterdam, 2001.Google Scholar
- 2.F. Baader and W. Snyder. Handbook of Automated Reasoning, volume 1, Unification Theory, pages 445–533. Elsevier Science B.V., Amsterdam, 2001.Google Scholar
- 3.R. Barták. Theory and practice of constraint propagation. In Proc. 3rd Workshop Constraint Programming for Decision and Control (CPDC), pages 7–14, 2001.Google Scholar
- 4.D. G. Cacuci, M. Ionescu-Bujor, and I. M. Navon. Sensitivity & Uncertainty Analysis: Applications to Large-Scale Systems, volume 2. Chapman & Hall/CRC, 2005.Google Scholar
- 5.Cadence Design Systems, Inc. http://www.cadence.com.
- 6.J. A. Carballo and S. W. Director. Constraint management for collaborative electronic design. In Proc. IEEE/ACM 36th Design Automation Conference (DAC), pages 529–534, Berlin, 1999.Google Scholar
- 7.H. Chang, E. Charbon, U. Choudhury, A. Demir, E. Felt, E. Liu, E. Malavasi, A. Sangiovanni-Vincentelli, and I. Vassiliou. A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits. Springer, 1999.Google Scholar
- 9.M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP.In Proc. Int. Conf. 5th Generation Computer Systems, pages 693–702, 1988.Google Scholar
- 10.B. M. Freeman-Benson. Constraint Imperative Programming. PhD thesis, University of Washington, Department of Computer Science and Engineering, 1991.Google Scholar
- 11.J. Freuer, G. Jerke, J. Gerlach, and W. Nebel. On the verification of high-order constraint compliance in IC design. In Proc. IEEE/ACM Int. Conf. Design Automation and Test in Europe (DATE), pages 26–31, 2008.Google Scholar
- 12.Th. Frühwirth. Introducing simplification rules. Technical Report ECRC-LP-63, European Computer-Industry Research Centre, Munich, Germany, 1991.Google Scholar
- 13.Th. Frühwirth, A. Herold, V. Küchenhoff, Th. Le Provost, P. Lim, E. Monfroy, and M. Wallace. Constraint logic programming – an informal introduction. Lecture Notes In Computer Science, 636:3–35, 1992.Google Scholar
- 14.G. J. Gad El-Karim, R. S. Gyurcsik, and G. L. Bilbro. Sensitivity-driven placement of analog modules. In Proc. IEEE Int. Symp. Circuits and Systems (ISCAS), pages 363–366, 1994.Google Scholar
- 15.V. Gerard and Th. Schiex. Solution reuse in dynamic constraint satisfaction problems. Proc. Association for the Advancement of Artificial Intelligence (AAAI), pages 307–312, 1994.Google Scholar
- 16.H. Gräb, F. Balasa, R. Castro-Lopez, Y.-W. Chang, F. V. Fernandez, P. -H. Lin, and M. Strasser. Analog layout synthesis – recent advances in topological approaches. In Proc. IEEE Int. Conf. Design Automation and Test in Europe (DATE), pages 274–279, 2009.Google Scholar
- 17.M. Grabmüller and P. Hofstedt. Turtle: A constraint imperative programming language. In Proc. 23rd SGAI Int. Conf. Innovative Techniques and Applications of Artificial Intelligence, 2003.Google Scholar
- 18.D. R. Insua. Sensitivity Analysis in Multi-Objective Decision Making. Springer, Berlin, 1990.Google Scholar
- 20.V. Kumar. Algorithms for constraint-satisfaction problems: A survey. AI Magazine, 13(1): 32–44, 1992.Google Scholar
- 22.E. Malavasi, E. Charbon, B. Arsintescu, and W. Kao. A constraint management system for IC physical design. In Proc. 11th Brazilian Symp. Integr. Circuit Design, pages 240–243, 1998.Google Scholar
- 24.Mentor Graphics Inc. http://www.mentor.com.
- 25.P. Miliozzi, I. Vassiliou, E. Charbon, E. Malavasi, and A. Sangiovanni-Vincentelli. Use of sensitivities and generalized substrate models in mixed-signal IC design. In Proc. IEEE/ACM 33rd Design Automation Conference (DAC), pages 227–232, 1996.Google Scholar
- 26.A. Nassaj, J. Lienig, and G. Jerke. A new methodology for constraint-driven layout design of analog circuits. In Proc. IEEE Int. Conf. Electronic, Circuits and Systems (ICECS), pages 996–999, 2009.Google Scholar
- 27.J.-F. Puget. A C + + implementation of CLP. Tech. rep. 94-01, ILOG SA, Gentilly Cedex, France, 1994.Google Scholar
- 29.R. A. Rutenbar and J. M. Cohn. Layout tools for analog ICs and mixed-signal SoCs: A survey. In Proc. IEEE/ACM Int. Symp. Physical Design (ISPD), pages 76–83, 2000.Google Scholar
- 30.J. Scheible. Constraint-driven Design – Eine Wegskizze zum Designflow der nächsten Generation (in German). In Proc. VDE ANALOG’08, 2008.Google Scholar
- 31.G. Tack. Constraint Propagation – Models, Techniques, Implementation. PhD thesis, Saarland University, 2009.Google Scholar
- 32.M. Wallace, S. Novello, and J. Schimpf. ECLiPSe: A platform for constraint logic programming. Technical report, IC-Parc, Imperial College, London, UK, 1997.Google Scholar