Electronic design automation using a unified optimization framework. (English) Zbl 1159.78351
Summary: This work proposes an object-oriented unified optimization framework (UOF) for general problem optimization. Based on biological inspired techniques, numerical deterministic methods, and C++ objective design, the UOF itself has significant potential to perform optimization operations on various problems. The UOF provides basic interfaces to define a general problem and generic solver, enabling these two different research fields to be bridged. The components of the UOF can be separated into problem and solver components. These two parts work independently allowing high-level code to be reused, and rapidly adapted to new problems and solvers. The UOF is customized to deal with several optimization problems. The first experiment involves a well-known discrete combinational problem, wihle the second one studies the robustness for the reverse modeling problem, which is in high demanded by device manufacturing companies. Additionally, experiments are undertaken to determine the capability of the proposed methods in both analog and digital circuit design automation. The final experiment designs antenna for rapidly growing wireless communication. Most experiments are categorized as simulation-based optimization tasks in the microelectronics industry. The results confirm that UOF has excellent flexibility and extensibility to solve these problems successfully. The developed open-source project is publicly available.
MSC:
| 78M50 | Optimization problems in optics and electromagnetic theory |
| 90C59 | Approximation methods and heuristics in mathematical programming |
| 78A50 | Antennas, waveguides in optics and electromagnetic theory |
Keywords:
biological inspired techniques; deterministic method; design automation; simulation-based optimizationReferences:
| [1] | Binder, T.; Heitzinger, C.; Selberherr, S., A study on global and local optimization techniques for tcad analysis tasks, IEEE Trans. Comput. Aided Design, 23, 814-822 (2004) |
| [2] | Byrd, R. H.; Lu, P.; Nocedal, J.; Zhu, C., A limited memory algorithm for bound constrained optimization, SIAM J. Sci. Comput., 16, 1190-1208 (1995) · Zbl 0836.65080 |
| [3] | Dorigo, M.; Gambardella, L. M., Ant colony system: a cooperative learning approach to the traveling salesman problem, IEEE Trans. Evol. Comput., 1, 53-66 (1997) |
| [4] | Gamma, E.; Helm, R.; Johnson, R.; Vlissides, J., Design Patterns: Elements of Reusable Object-Oriented Software (1994), Addison-Wesley Professional |
| [5] | Gehlsen, B.; Page, B., A framework for distributed simulation optimization, (Proceedings of the 2001 Winter Sim. Conference (2001)), 508-514 |
| [6] | Gupta, R.; Allstot, D. J., Parasitic-aware design and optimization of cmos rf integrated circuits, (Proceedings of the IEEE International Microwave Symposium (1998)), 1867-1870 |
| [7] | Herrmann, J.; Conaghan, B.; Henn-Lecordier, L.; Mellacheruvu, P.; Nguyen, M.-Q.; Rubloff, G.; Shi, R., Understanding the impact of equipment and process changes with a heterogeneous semiconductor manufacturing simulation environment, (Proceedings of the Winter Sim. Conference (2000)), 1491-1498 |
| [8] | Holland, J., Adaptation in Natural and Artificial Systems (1975), University of Michigan Press: University of Michigan Press Ann Arbor, MI · Zbl 0317.68006 |
| [9] | Huang, K.-Y.; Li, Y.; Lee, C.-P., A time domain approach to simulation and characterization of rf hbt two-tone intermodulation distortion, IEEE Trans. Microwave Theor. Technol., 51, 2055-2062 (2003) |
| [10] | Ishikawa, M.; Toya, T.; Hoshida, M.; Nitta, K.; Ogiwara, A.; Kanehisa, M., Multiple sequence alignment by parallel simulated annealing, Comput. Appl. Biosci., 9, 267-273 (1993) |
| [11] | K.A.D. Jong, An Analysis of Behavior of a Class of Genetic Adaptive Systems, Doctoral Dissertation, University of Michigan, Dissertation Abstracts International, 1975.; K.A.D. Jong, An Analysis of Behavior of a Class of Genetic Adaptive Systems, Doctoral Dissertation, University of Michigan, Dissertation Abstracts International, 1975. |
| [12] | Jou, S.-J.; Liu, K.-F.; Su, C., Circuits design optimization using symbolic approach, (Proceedings of the IEEE International Symposium on Circuits System (1995)), 1396-1399 |
| [13] | Kennedy, J.; Eberhart, R. C., Particle swarm optimization, (Proceedings of the IEEE International Conference on Neural Networks (1995)), 1942-1948 |
| [14] | Kerkhoff, A. J.; Rogers, R. L.; Ling, H., Design and analysis of planar monopole antennas using a genetic algorithm approach, IEEE Trans. Antenn. Propag., 52, 2709-2718 (2004) |
| [15] | Kim, J.; Pramanik, S.; Chung, M. J., Multiple sequence alignment using simulated annealing, Comput. Appl. Biosci., 10, 419-426 (1994) |
| [16] | Li, Y., A parallel monotone iterative method for the numerical solution of multidimensional semiconductor Poisson equation, Comput. Phys. Commun., 153, 359-372 (2003) · Zbl 1196.82018 |
| [17] | Li, Y.; Chao, T.-S.; Sze, S. M., A novel parallel approach for quantum effect simulation in semiconductor devices, Int. J. Model. Simul., 23, 94-102 (2003) |
| [18] | Li, Y.; Cho, Y.-Y., Intelligent bsim4 model parameter extraction for sub-100 nm mosfet era, Jpn. J. Appl. Phys., 43, 1717-1722 (2004) |
| [19] | Li, Y.; Cho, Y.-Y.; Wang, C.-S.; Huang, K.-Y., A genetic algorithm approach to ingap/gaas hbt parameters extraction and rf characterization, Jpn. J. Appl. Phys., 42, 2371-2374 (2003) |
| [20] | Li, Y.; Chou, H.-M.; Lee, J.-W., Investigation of electrical characteristics on surrounding-gate and omega-shaped-gate nanowire finfets, IEEE Trans. Nanotechnol., 4, 510-516 (2005) |
| [21] | Li, Y.; Lu, C.-S., Characteristic comparison of sram cells with 20 nm planar mosfet, omega finfet and nanowire finfet, (Proceedings of the IEEE Nanotechnical Conference (2006)), 339-342 |
| [22] | Li, Y.; Sun, C.-T.; Chen, C.-K., A floating-point based evolutionary algorithm for model parameters extraction and optimization in hbt device simulation, (Rutkowski, L.; Kacprzyk, J., Advances in Soft Computing—Neural Networks and Soft Computing (2003), Physica-Verlag), 364-369 |
| [23] | Li, Y.; Yu, S.-M., A parallel adaptive finite volume method for nanoscale double-gate mosfets simulation, J. Comput. Appl. Math., 175, 87-99 (2005) · Zbl 1073.82627 |
| [24] | Liu, W.-C., Design of a multiband cpw-fed monopole antenna using a particle swarm optimization approach, IEEE Trans. Antenn. Propag., 53, 3273-3279 (2005) |
| [25] | Mendes, A.; França, P.; Moscato, P., Np-opt: an optimization framework for np problems, (Proceedings of the IV SIMPOI/POMS (2001)), 82-89 |
| [26] | Mendes, P.; Kell, D., Non-linear optimization of biochemical pathways: applications to metabolic engineering and parameter estimation, Bioinformatics, 14, 869-883 (1998) |
| [27] | Seevinck, E.; List, F.; Lohstroh, J., Static-noise margin analysis of mos sram cells, IEEE J. Solid-State Circ., 22, 748-754 (1987) |
| [28] | Selberherr, S., Analysis and Simulation of Semiconductor Devices (1984), Springer-Verlag: Springer-Verlag New York |
| [29] | Teukolsky, S. A.; Vetterling, W. T.; Flannery, B. P., Numerical Recipes in C (1988), Cambridge University Press, pp. 542-549 · Zbl 0661.65001 |
| [30] | Vancorenland, P.; der Plas, G. V.; Steyaert, M.; Gielen, G.; Sansen, W., A layout-aware synthesis methodology for rf circuits, (Proceedings of the IEEE/ACM International Conference on CAD (2001)), 358-362 |
| [31] | M. Wall, Galib a C++ Library of Genetic Algorithm Components, Mass. Inst. of Technol., Cambridge, 2000, pp. 339-342.; M. Wall, Galib a C++ Library of Genetic Algorithm Components, Mass. Inst. of Technol., Cambridge, 2000, pp. 339-342. |
| [32] | S.-M. Yu, Y. Li, A pattern-based domain partition approach to parallel optical proximity correction in vlsi designs, in: Proceedings of the 19th IEEE International Parall. and Dist. Proce. Symposium.; S.-M. Yu, Y. Li, A pattern-based domain partition approach to parallel optical proximity correction in vlsi designs, in: Proceedings of the 19th IEEE International Parall. and Dist. Proce. Symposium. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
