Исследование и разработка алгоритмов многокритериальной оптимизации библиотечных элементов при проектировании нанометровых СБИС
Диссертация
Для многокритериальной оптимизации стандартных ячеек разработан алгоритм многокритериальной оптимизации на основе генетического алгоритма, который отличается от известных использованием ЛП, — - последовательностей Соболя для организации поиска. Такой подход позволяет уменьшать пространство поиска от 5 до 20 раз. Использование генетического алгоритма позволяет найти все Парсто-оптимальные решения… Читать ещё >
Список литературы
- C.Piguet. Low-Power CMOS Circuits: Technology, Logic Design and CAD Tools. — Boca Raton: CRC Press, 2005.- P. 867.
- C.Chiang, J. Kawa. Design for Manufactiirability and Yield for Nano-Scale CMOS. IEEE: Springer, 2007, — P. 277.
- А.Ф. Мелик-Адамяи. Многокритериальная оптимизация КМОП-схем в субмикронпых технологиях // Известия ЮФУ.— 2009.— № 5.— С. 137−149.
- А.Ф. Мелик-Адамян. Задача многокритериальной оптимизации КМОП-ячеек субмикронных СБИС с учетом технологических особенностей производства. (в печати) // Естественные и технические науки. — 2009.— № 6, — С. 101−112.
- А.Ф. Мелик-Адамян, А. П. Рыжов. Применение генетических алгоритмов в некоторых задачах многокритериальной оптимизации проектирования СБИС // Нечёткие системы и мягкие вычисления — 2009. — № 6.— С. (в печати).
- А.В. Кондратева, А.Ф. Мелик-Адамян, А. К. Халимов. Оптимизация статического тока утечки для библиотечных КМОП-схем в субмикронных технологиях // Научные исследования. Труды российских ученых — 2008. — № 1.- С. 42−52.
- А.В. Кондратева, А.Ф. Мелик-Адамян, А. К. Халимое. Оптимизация стандартных ячеек ЛПг-последовательностями. //В трудах 51-й научной конференции МФТИ. — 2008. С. 85−89.
- J. Bird. Electrical Circuit Theory and Technology. — Oxford: Newnes, 2003. P. 997.
- S. Sapatnekar C. Alpert, D. Mehta. Handbook of Algorithms for Physical Design Automation. — NY: CRC Press, 2009. P. 1049.
- H. Kaeslin. Digital Integrated Circuit Design. — Cambridge: Cambridge University Press, 2008. — P. 879.
- A. Kahng B. Wong. Nano-CMOS Design for Manufacturability. — New York: John Wiley & Sons, 2009. P. 394.
- B. Wong. Nano-CMOS Circuit and Physical Design. — New York: John Wiley & Sons, 2005. P. 409.
- Dennis Sylvester, Himanshu Kaul. Future performance challenges in nanometer design // DAC '01: Proceedings of the 38th annual Design Automation Conference. New York, NY, USA: ACM, 2001.- Pp. 3−8.
- G. May, C. Spanos. Fundamentals of Semiconductor Manufacturing and Process Control. IEEE: John Wiley and Sones, 2008. — P. 480.
- R. Leventhal, L. Green. Modeling Semiconductors: For Simulating Signal, Power, and Electromagnetic Integrity. — New York: Springer, 2006. — P. 769.
- S. Narendra, V. De, S. Borkar et al. Full-Chip Subthreshold Leakage Power Prediction and Reduction Techniques for Sub-0.18-&mu-m CMOS // IEEE Journal of Solid-State Circuits. 2004. — Pp. 501−510.
- Saumil Shah, Puneet Gupta, Andrew Kahig. Standard cell library optimization for leakage reduction // DAC '06: Proceedings of the 43rd annual Design Automation Conference. New York, NY, USA: ACM, 2006. — Pp. 983−986.
- Donald G. Baltus, Thomas Varga, Robert C. Armstrong et al. Developing a concurrent methodology for standard-cell library generation // DAC '97: Proceedings of the 34t, li annual Design Automation Conference. — New York, NY, USA: ACM, 1997.- Pp. 333−336.
- V. Oklobdzija. Digital Design and Fabrication. — Boca Raton: CRC Press, 2008. P. 652.
- The International Technology Roadmap for Semiconductors — ITRS 2007 Edition: Tech. rep., Ed. by ITRS: International Technology Roadmap for Semiconductors, 2007. http://www.itrs.net.
- Yan Zhang, Dharmesh Parikh, Karthik Sankaranara/yanan et al. HotLeakage: A Temperature-Aware Model of Subthreshold and Gate Leakage for Architects. 2003.
- С. Ни, A. Niknejad, M. Dunga, W. Yang. BSIM 4.6.1 MOSFET Model: Tech. rep.: EECS Department, University of California, Berkeley, 2007. http: //www-device.eecs.berkeley.edu/bsim3/~bsim4.html
- I. Hajj, W. Chuang, S. Sapatnekar. Timing and Area Optimization for Standard-Cell VLSI Circuit Design. 1995.
- Dongwoo Lee, Wesley Kwong, David Blaauw, Dennis Sylvester. Simultaneous Subthreshold and Gate-Oxide Tunneling Leakage Current Analysis in Nanometer CMOS Design // Quality Electronic Design, International Symposium on. 2003. — Vol. 0. — P. 287.
- Hamilton Klimach, Carlos Galup-Montoro, M? rcio C. Schneider, Alfredo Arnaud. MOSFET Mismatch Modeling: A New Approach // IEEE Design and Test of Computers. — 2006. Vol. 23, no. 1. — Pp. 20−29.
- Evanthia Papadopoulou, D. T. Lee. Critical area computation—a new approach // ISPD '98: Proceedings of the 1998 international symposium on Physical design. New York, NY, USA: ACM, 1998, — Pp. 89−94.
- J. Pineda de Gyvez. Yield modeling and BEOL fundamentals // SLIP '01: Proceedings of the 2001 international workshop on System-level interconnect prediction. New York, NY, USA: ACM, 2001. — Pp. 135−163.
- Cyrus Bamji, Enrico Malavasi Enhanced network flow algorithm for yield optimization // DAC '96: Proceedings of the 33rd annual Design Automation Conference. New York, NY, USA: ACM, 1996, — Pp. 746−751.
- Blaze DFM. — http: //www. blazedfm. com/.
- Nangate. — http: //www .nangate. com/.
- A. Diebold. Handbook of Silicon Semiconductor Metrology.— New York: Marcel Dekker, 2001.- P. 866.
- D. Drabold. Theory of Defects in Semiconductors. — London: Springer, 2006.- P. 306.
- Xiao dong Wang, Tom Chen. On Performance and Area Optimization of VLSI Systems Using Genetic Algorithms // VLSI Design. — 1995. — Vol. 3. —1. Pp. 215−222.
- Rajeev R. Rao, Anirudh Devgan, David Blaauw, Dennis Sylvester. Parametric yield estimation considering leakage variability // DAC '04: Proceedingsof the 41st annual Design Automation Conference. — New York, NY, USA: ACM, 2004. — Pp. 442−447.
- Puneet Gupta, Andrew B. Kahng, Puneet Sharma, Dennis Sylvester. Selective gate-length biasing for cost-effective runtime leakage control //In DAC. 2004. — Pp. 327−330.
- Youcef Вourai, C.-J. Richard Shi Layout compaction for yield optimization via critical area minimization // DATE '00: Proceedings of the conference on Design, automation and test in Europe. — New York, NY, USA: ACM, 2000.- Pp. 122−127.
- Lin Yuan, Gang Qu. Enhanced leakage reduction Technique by gate replacement // DAC '05: Proceedings of the 42nd annual Design Automation Conference. New York, NY, USA: ACM, 2005.- Pp. 47−50.
- O. Coudert, R. Haddad, S. Manne, S. Manne. New Algorithms for Gate Sizing: A Comparative Study // in DAC. 1996.- Pp. 734−739.
- G. Feng, J. Hayes. Total power reduction in CMOS circuits via gate sizing and multiple threshold voltages // DAC '05: Proceedings of the 42nd annual Design Automation Conference. — New York, NY, USA: ACM, 2005.— Pp. 31−36.
- Puneet Gupta, Andrew B. Kahng, Puneet Sharma, Dennis Sylvester. Selective gate-length biasing for cost-effective runtime leakage control // DAC '04:
- Proceedings of the 41st annual Design Automation Conference. — New York, NY, USA: ACM, 2004.- Pp. 327−330.
- Shekhar Borka/r, Tanay Karnik, Siva Narendra. Parameter variations and impact on circuits and microarchitecture // DAC '03: Proceedings of the 40th annual Design Automation Conference. — New York, NY, USA: ACM, 2003. Pp. 338−342.
- M. Celik, L. Pileggi, A. Odabasioglu. 1С Interconnect Analysis. — New York: Kluwer Academic Publisher, 2002. — P. 316.
- Enrico Malavasi, Edoardo Charbon. Constraint Transformation for 1С Physical Design // IEEE Transactions on Semiconductor Manufacturing. — 1999. Vol. 12. — Pp. 386−395.
- C. Enz, E. Vittoz. Charge-based MOS Transistor Modeling. — London: John Wiley & Sons, 2006.- P. 340.
- David S. Gibson, Ravi Poddar, Gary S. May et al. Statistically based parametric yield prediction for integrated circuits // IEEE Transactions On Semiconductor Manufacturing. — 1997. — Vol. 10. — Pp. 445−458.
- W. Lu A. Antoniou. Practical Optimization. — New York: Springer, 2007. — P. 675.
- D. van Veldhuizen C. Coello, G. Lamont Evolutionary Algorithms for Solving Multi-Objectivc Problems. — New York: Springer, 2007. — P. 810.
- Multiple Criteria Optimization: State of the Art, Ed. by M. Ehrgott.— New York: Springer, 2003.- P. 519.
- X Пападимитриу, К Стайглиц. Комбинаторная оптимизация. Алгоритмы и сложность. — Москва: Наука, 1984.— С. 512.
- К. Deb, J. Branke, К. Miettinen, R. Slowinski Multiobjective Programming.- New York: Springer, 2008, — P. 480.
- M. Sh. Levin. Combinatorial optimization in system configuration design // Automation and Remote Control.-— 2009.— Vol. 70, no. 3.— Pp. 519−561.
- И. Соболь, P. Статников. Выбор оптимальных параметров в задачах со многими критериями, — Москва: Дрофа, 2006.— С. 215.
- В. Dorronsoro Е. Alba. Cellular Genetic Algorithms. — New-York: Springer, 2008. P. 247.
- L. Lin M. Gen, R. Cheng. Network Models and Optimization: Multiobjective Genetic Algorithm Approach. — New York: Springer, 2008. — P. 701.
- M. Vellasco R. Zebulum, M. Pacheco. Evolutionary Electronics: Automatic Design of Electronic Circuits and Systems by Genetic Algorithms. — Boca Raton: CRC Press, 2002. P. 306.
- H. T. Heineken, W. Maly. Performance manufacturability tradeoffs in 1С design // DATE '98: Proceedings of the conference on Design, automation and test in Europe. — Washington, DC, USA: IEEE Computer Society, 1998, — Pp. 563−569.
- K. Deb, N. Srinivas. Multiobjective Optimization Using Nondominated Sorting in Genetic Algorithms // Evolutionary Computation. — 1994. — Vol. 2. — Pp. 221−248.
- William J. Morokoff, Russel E. Caflisch. Quasi-Random Sequences and Their Discrepancies // SIAM J. Sci. Comput. 1994. — Vol. 15. — Pp. 1251−1279.
- Paul Bratley, Bennett L. Fox. Algorithm 659: Implementing Sobol’s quasiran-dom sequence generator // ACM Transactions on Mathemtacial Software. — 1988. Vol. 14, no. 1. — Pp. 88−100.
- Кирилл Дмитриев. Разработка и модернизация методов генерации физически аккуратных изображений на ЭВМ. Диссертация: Тех. доклад.— Москва: Институт прикладной математики им. М. В. Келдыша РАН., 2002.
- Paul Bratley, Bennett L. Fox, Harald Niederreiter. Implementation and testsof low-discrepancy sequences // ACM Transactions on Modeling and Computer Simulation.- 1992,-Vol. 2, 110. 3, — Pp. 195−213.
- P.J.- Fonseca, C.M.- Fleming. Multiobjective optimization and multiple constraint handling with evolutionary algorithms. I. A unified formulation // IEEE Transactions on Systems, Man and Cybernetics, Part A,. — 1998.— Vol. 28, 110. 1.- Pp. 26 37.
- Ashish Srivastava, Denis Sylvester, David Blauuw. Statistical Analysis and Optimization for VLSI: Timing and Power. — New-York: Springer, 2005. — P. 279.
- J. David Schaffer. Multiple Objective Optimization with Vector Evaluated Genetic Algorithms // Proceedings of the 1st International Conference on Genetic Algorithms. — Hillsdale, NJ, USA: L. Erlbaum Associates Inc., 1985. — Pp. 93−100.
- R Schaefer. Foundations of Global Genetic Optimization. — Berlin: Springer, 2007, — P. 226.
- Lixin Ding, Jinghu Yu. Some theoretical results about the computation time of evolutionary algorithms // GECCO '05: Proceedings of the 2005 conference on Genetic and evolutionary computation. — New York, NY, USA: ACM, 2005, — Pp. 1409−1415.
- Gunter Rudolph, Alexandru Agapie. Convergence Properties of Some Multi-Objective Evolutionary Algorithms //IN CONGRESS ON EVOLUTIONARY COMPUTATION (CEC 2000).- IEEE Press, 2000, — Pp. 1010−1016.
- L. Jeff Hong, Barry L. Nelson. A framework for locally convergent random-search algorithms for discrete optimization via simulation j j A CM
- Transactions on Modeling and Computer Simulation— 2007.— Vol. 17, no. 4. P. 19.
- Dipankar Dasgupta. Douglas R. Mcgregor. sGA: A Structured Genetic Algorithm.: Tech. rep.: University of Strathclyde, 1992.
- L. Scheffer, L. Lavango, G. Martin. EDA for 1С Implementation, Circuit Design, and Process Technology. — Boca Raton: CRC Press, 2006. — P. 528.
- Open Access Database. — http: //www. si2. org/?page=69.
- Philippe Kmchten. The 4+1 View Model of Architecture // IEEE Software. 1995. — Vol. 12, no. 6. — Pp. 42−50.
- T. Schaefer. GDS-II: An Efficient and Extensible VLSI Design System // Proceedings of the IEEE Compcon.- New York, NY, USA: IEEE Press, 1981.- Pp. 333−336.
- Calibre Standard Verification Rule Format (SVRF).— http://www. mentor.com/products/icnanometerdesign/verification-signoff/ circuit-verification/.
- Synopsys Liberty Format.— http://www.synopsys.com.cn/ products-and-solutions/libertyccs/.
- Ape? Мелик-Адамян. Отчет по НИР «Ардон»: Тех. доклад.: Институт точной механики и вычислительной техники им С. А. Лебедева РАН, 2008.
- Stephen Joe, Frances Y. Kuo. Remark on algorithm 659: Implementing Sobol’s quasirandom sequence generator // ACM Trans. Math. Softw.— 2003. Vol. 29, no. 1. — Pp. 49−57.
- Stephen Joe, Frances Y. Kuo. Constructing Sobol Sequences with Better Two-Dimensional Projections // SIAM Journal of Scientific Computing. — 2008. Vol. 30, no. 5. — Pp. 2635−2654.
- Mark C. Hansen, Hakan Yalcin, John P. Hayes. Unveiling the ISCAS-85 Benchmarks: A Case Study in Reverse Engineering // IEEE Des. Test. — 1999. Vol. 16, no. 3. — Pp. 72−80.
- Berkeley PTM. —http://www-device.eecs.berkeley.edu/~ptm/.
- M. Reinhardt. Automatic Layout Modification. — New York: Kluwer Academic Publisher, 2002. P. 246.
- Mohan Guruswamy, Robert L. Maziasz, Darnel Dulitz et al. CELLERITY: A Fully Automatic Layout Synthesis System for Standard Cell Libraries //In Proceedings of 34th Design Automation Conference. — 1997. — Pp. 327−332.
- Александр Марченко, M Сотников. Критерии остановки в итеративных алгоритмах сжатия топологии стандартных ячеек СБИС // IEEE A IS '03/СA D-2003. 2003. — Т. 2. — С. 96−99.
- V Chiluvuri, A Marchenko, М Sotnikov. Method and Apparatus for Constraint Graph Based Layout Compaction for Integrated Circuits // United States Patent.- 2002. Vol. № 6,434,721 Bl.