Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms

Previous Article
Fractional order optimal control problems with free terminal time
JIMO Home
This Issue
Next Article
A ladder method for linear semi-infinite programming

April 2014, 10(2): 383-396. doi: 10.3934/jimo.2014.10.383

Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms

1.	School of Electrical and Electronic Engineering, The University of Adelaide, Adelaide, 5005, Australia, Australia

Received October 2012 Revised July 2013 Published October 2013

Abstract
Related Papers

Verification of semiconductor chip designs is commonly driven by single goal orientated measures. With increasing design complexities, this approach is no longer effective. We enhance the effectiveness of coverage driven design verifications by applying multi-objective optimization techniques. The technique is based on genetic evolutionary algorithms. Difficulties with conflicting test objectives and selection of tests to achieve multiple verification goals in the genetic evolutionary framework are also addressed.

Keywords: genetic evolutionary algorithms, Multi-objective optimization, system-on-chip verification, coverage driven verification., Pareto optimization.

Mathematics Subject Classification: Primary: 58F15, 58F17; Secondary: 53C3.

Citation: Adriel Cheng, Cheng-Chew Lim. Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms. Journal of Industrial & Management Optimization, 2014, 10 (2) : 383-396. doi: 10.3934/jimo.2014.10.383

References:

[1]	T. Bao and B. Mordukhovich, Refined necessary conditions in multi-objective optimization with applications to microeconomic modeling,, Discrete Contin. Dyn. Syst., 31 (2011), 1069. doi: 10.3934/dcds.2011.31.1069.
[2]	J. Bergeron, Writing Testbenches using SystemVerilog,, $1^{st}$ edition, (1994).
[3]	H. Bonnel and N. S. Pham, Non-smooth optimization over the (weakly or properly) Pareto set of a linear-quadratic multi-objective control problem: Explicit optimality conditions,, J. Ind. Manag. Optim., 7 (2011), 789. doi: 10.3934/jimo.2011.7.789.
[4]	A. Cheng and C. C. Lim, Markov modeling and parameterization of genetic evolutionary test generation,, J. Global Optim., 51 (2011), 743. doi: 10.1007/s10898-011-9682-5.
[5]	A. Cheng, C.-C. Lim, Y. Sun, H. He, Z. Zhou and T. Lei, Using genetic evolutionary software application testing to verify a DSP SoC,, in 4th IEEE Int. Workshop on Electronic Design, (2008), 20. doi: 10.1109/DELTA.2008.31.
[6]	A. Cheng, A. Parashkevov and C.-C. Lim, A software test program generator for verifying system-on-chips,, in 10th IEEE Int. High Level Design Validation and Test Workshop (HLDVT'05), (2005), 79. doi: 10.1109/HLDVT.2005.1568818.
[7]	C. A. C. Coello, A comprehensive survey of evolutionary-based multiobjective optimization techniques,, Journal of Knowledge and Information Systems, 1 (1999), 269. doi: 10.1007/BF03325101.
[8]	F. Corno, E. Sanchez, M. S. Reorda and G. Squillero, Code generation for functional validation of pipelined microprocessors,, Journal of Electronic Testing: Theory and Applications, 20 (2004), 269.
[9]	F. Corno, P. Prinetto, M. Rebaudengo and M. S. Reorda, GATTO: A genetic algorithm for automatic test pattern generation for large synchronous sequential circuits,, in IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, (1996), 991. doi: 10.1109/43.511578.
[10]	S. Fine and A. Ziv, Coverage directed test generation for functional verification using Bayesian networks,, in Proc. 40th Design Automation Conference, (2003), 286.
[11]	C. M. Fonseca and P. J. Flemming, Genetic algorithms for multi-objective optimization: Formulation, discussion, and generalization,, in 5th Int. Conf. on Genetic Algorithms, (1993), 416.
[12]	D. E. Goldberg, Genetic Algorithms in Search, Optimization, and Machine Learning,, Addison-Wesley, (1989).
[13]	J. Horn, N. Nafpliotis and D. E. Goldberg, A Niched Pareto genetic algorithm for multiobjective optimization,, in Proceedings of the First IEEE Conference on Evolutionary Computation, (1994), 82. doi: 10.1109/ICEC.1994.350037.
[14]	W. Jakob, M. Gorges-Schleuter and C. Blume, Application of genetic algorithms to task planning and learning,, in Parallel Problem Solving from Nature, (1992), 291.
[15]	T.-F. Liang and H.-W. Cheng, Multi-objective aggregate production planning decisions using two-phase fuzzy goal programming method,, J. Ind. Manag. Optim., 7 (2011), 365. doi: 10.3934/jimo.2011.7.365.
[16]	G. Nativ, S. Mittermaier, S. Ur and A. Ziv, Cost evaluation of coverage directed test generation for the IBM mainframe,, in Proceedings of the 2001 IEEE International Test Conference, (2001), 793. doi: 10.1109/TEST.2001.966701.
[17]	T. Ray and R. Sarker, EA for solving combined machine layout and job assignment problems,, J. Ind. Manag. Optim., 4 (2008), 631. doi: 10.3934/jimo.2008.4.631.
[18]	A. Samarah, A. Habibi, S. Tahar and N. Kharma, Automated coverage directed test generation using a cell-based genetic algorithm,, in IEEE Int. High Level Design Validation and Test Workshop (HLDVT'06), (2006), 19. doi: 10.1109/HLDVT.2006.319996.
[19]	E. Sanchez, M. Schillaci and G. Squillero, Evolutionary Optimization: The GP Toolkit,, $1^{st}$ edition, (2011).
[20]	E. Sanchez and G. Squillero, Evolutionary techniques applied to hardware optimization problems: Test and verification of advanced processors,, in Advances in Evolutionary Computing for System Design* (eds. L. C. Jain*, (2007), 83. doi: 10.1007/978-3-540-72377-6_13.
[21]	N. Srinivas and K. Deb, Multiobjective optimization using nondominated sorting in genetic algorithms,, Evolutionary Computation, 2 (1994), 221. doi: 10.1162/evco.1994.2.3.221.
[22]	H. Tamaki, H. Kita and S. Kobayashi, Multi-objective optimization by genetic algorithms: A review,, in Proc. IEEE Int. Conference on Evolutionary Computation, (1996), 517. doi: 10.1109/ICEC.1996.542653.
[23]	S. Tasiran, F. Fallah, D. G. Chineery, S. J. Weber and K. Keutzer, A functional validation technique: Biased-random simulation guided by observability-based coverage,, in IEEE Int. Conference on Computer Design, (2001), 82. doi: 10.1109/ICCD.2001.955007.
[24]	P. B. Wilson and M. D. Macleod, Low implementation cost IIR digital filter design using genetic algorithms,, in IEE/IEEE Workshop on Natural Algorithms in Signal Processing, (1993), 41.
[25]	E. Zitzler and L. Thiele, Multiobjective evolutionary algorithms: A comparative case study and the strength Pareto approach,, in IEEE Trans. on Evolutionary Computation, (1999), 257. doi: 10.1109/4235.797969.
[26]	, Nios II Hardware Development Tutorial,, Development manual of Altera Inc., (2005).

show all references

References:

[1]	T. Bao and B. Mordukhovich, Refined necessary conditions in multi-objective optimization with applications to microeconomic modeling,, Discrete Contin. Dyn. Syst., 31 (2011), 1069. doi: 10.3934/dcds.2011.31.1069.
[2]	J. Bergeron, Writing Testbenches using SystemVerilog,, $1^{st}$ edition, (1994).
[3]	H. Bonnel and N. S. Pham, Non-smooth optimization over the (weakly or properly) Pareto set of a linear-quadratic multi-objective control problem: Explicit optimality conditions,, J. Ind. Manag. Optim., 7 (2011), 789. doi: 10.3934/jimo.2011.7.789.
[4]	A. Cheng and C. C. Lim, Markov modeling and parameterization of genetic evolutionary test generation,, J. Global Optim., 51 (2011), 743. doi: 10.1007/s10898-011-9682-5.
[5]	A. Cheng, C.-C. Lim, Y. Sun, H. He, Z. Zhou and T. Lei, Using genetic evolutionary software application testing to verify a DSP SoC,, in 4th IEEE Int. Workshop on Electronic Design, (2008), 20. doi: 10.1109/DELTA.2008.31.
[6]	A. Cheng, A. Parashkevov and C.-C. Lim, A software test program generator for verifying system-on-chips,, in 10th IEEE Int. High Level Design Validation and Test Workshop (HLDVT'05), (2005), 79. doi: 10.1109/HLDVT.2005.1568818.
[7]	C. A. C. Coello, A comprehensive survey of evolutionary-based multiobjective optimization techniques,, Journal of Knowledge and Information Systems, 1 (1999), 269. doi: 10.1007/BF03325101.
[8]	F. Corno, E. Sanchez, M. S. Reorda and G. Squillero, Code generation for functional validation of pipelined microprocessors,, Journal of Electronic Testing: Theory and Applications, 20 (2004), 269.
[9]	F. Corno, P. Prinetto, M. Rebaudengo and M. S. Reorda, GATTO: A genetic algorithm for automatic test pattern generation for large synchronous sequential circuits,, in IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, (1996), 991. doi: 10.1109/43.511578.
[10]	S. Fine and A. Ziv, Coverage directed test generation for functional verification using Bayesian networks,, in Proc. 40th Design Automation Conference, (2003), 286.
[11]	C. M. Fonseca and P. J. Flemming, Genetic algorithms for multi-objective optimization: Formulation, discussion, and generalization,, in 5th Int. Conf. on Genetic Algorithms, (1993), 416.
[12]	D. E. Goldberg, Genetic Algorithms in Search, Optimization, and Machine Learning,, Addison-Wesley, (1989).
[13]	J. Horn, N. Nafpliotis and D. E. Goldberg, A Niched Pareto genetic algorithm for multiobjective optimization,, in Proceedings of the First IEEE Conference on Evolutionary Computation, (1994), 82. doi: 10.1109/ICEC.1994.350037.
[14]	W. Jakob, M. Gorges-Schleuter and C. Blume, Application of genetic algorithms to task planning and learning,, in Parallel Problem Solving from Nature, (1992), 291.
[15]	T.-F. Liang and H.-W. Cheng, Multi-objective aggregate production planning decisions using two-phase fuzzy goal programming method,, J. Ind. Manag. Optim., 7 (2011), 365. doi: 10.3934/jimo.2011.7.365.
[16]	G. Nativ, S. Mittermaier, S. Ur and A. Ziv, Cost evaluation of coverage directed test generation for the IBM mainframe,, in Proceedings of the 2001 IEEE International Test Conference, (2001), 793. doi: 10.1109/TEST.2001.966701.
[17]	T. Ray and R. Sarker, EA for solving combined machine layout and job assignment problems,, J. Ind. Manag. Optim., 4 (2008), 631. doi: 10.3934/jimo.2008.4.631.
[18]	A. Samarah, A. Habibi, S. Tahar and N. Kharma, Automated coverage directed test generation using a cell-based genetic algorithm,, in IEEE Int. High Level Design Validation and Test Workshop (HLDVT'06), (2006), 19. doi: 10.1109/HLDVT.2006.319996.
[19]	E. Sanchez, M. Schillaci and G. Squillero, Evolutionary Optimization: The GP Toolkit,, $1^{st}$ edition, (2011).
[20]	E. Sanchez and G. Squillero, Evolutionary techniques applied to hardware optimization problems: Test and verification of advanced processors,, in Advances in Evolutionary Computing for System Design* (eds. L. C. Jain*, (2007), 83. doi: 10.1007/978-3-540-72377-6_13.
[21]	N. Srinivas and K. Deb, Multiobjective optimization using nondominated sorting in genetic algorithms,, Evolutionary Computation, 2 (1994), 221. doi: 10.1162/evco.1994.2.3.221.
[22]	H. Tamaki, H. Kita and S. Kobayashi, Multi-objective optimization by genetic algorithms: A review,, in Proc. IEEE Int. Conference on Evolutionary Computation, (1996), 517. doi: 10.1109/ICEC.1996.542653.
[23]	S. Tasiran, F. Fallah, D. G. Chineery, S. J. Weber and K. Keutzer, A functional validation technique: Biased-random simulation guided by observability-based coverage,, in IEEE Int. Conference on Computer Design, (2001), 82. doi: 10.1109/ICCD.2001.955007.
[24]	P. B. Wilson and M. D. Macleod, Low implementation cost IIR digital filter design using genetic algorithms,, in IEE/IEEE Workshop on Natural Algorithms in Signal Processing, (1993), 41.
[25]	E. Zitzler and L. Thiele, Multiobjective evolutionary algorithms: A comparative case study and the strength Pareto approach,, in IEEE Trans. on Evolutionary Computation, (1999), 257. doi: 10.1109/4235.797969.
[26]	, Nios II Hardware Development Tutorial,, Development manual of Altera Inc., (2005).

[1]	Henri Bonnel, Ngoc Sang Pham. Nonsmooth optimization over the (weakly or properly) Pareto set of a linear-quadratic multi-objective control problem: Explicit optimality conditions. Journal of Industrial & Management Optimization, 2011, 7 (4) : 789-809. doi: 10.3934/jimo.2011.7.789
[2]	Danthai Thongphiew, Vira Chankong, Fang-Fang Yin, Q. Jackie Wu. An on-line adaptive radiation therapy system for intensity modulated radiation therapy: An application of multi-objective optimization. Journal of Industrial & Management Optimization, 2008, 4 (3) : 453-475. doi: 10.3934/jimo.2008.4.453
[3]	Xia Zhao, Jianping Dou. Bi-objective integrated supply chain design with transportation choices: A multi-objective particle swarm optimization. Journal of Industrial & Management Optimization, 2019, 15 (3) : 1263-1288. doi: 10.3934/jimo.2018095
[4]	Liwei Zhang, Jihong Zhang, Yule Zhang. Second-order optimality conditions for cone constrained multi-objective optimization. Journal of Industrial & Management Optimization, 2018, 14 (3) : 1041-1054. doi: 10.3934/jimo.2017089
[5]	Han Yang, Jia Yue, Nan-jing Huang. Multi-objective robust cross-market mixed portfolio optimization under hierarchical risk integration. Journal of Industrial & Management Optimization, 2017, 13 (5) : 1-17. doi: 10.3934/jimo.2018177
[6]	Min Zhang, Gang Li. Multi-objective optimization algorithm based on improved particle swarm in cloud computing environment. Discrete & Continuous Dynamical Systems - S, 2019, 12 (4&5) : 1413-1426. doi: 10.3934/dcdss.2019097
[7]	Jiao-Yan Li, Xiao Hu, Zhong Wan. An integrated bi-objective optimization model and improved genetic algorithm for vehicle routing problems with temporal and spatial constraints. Journal of Industrial & Management Optimization, 2017, 13 (5) : 1-18. doi: 10.3934/jimo.2018200
[8]	Jian Xiong, Zhongbao Zhou, Ke Tian, Tianjun Liao, Jianmai Shi. A multi-objective approach for weapon selection and planning problems in dynamic environments. Journal of Industrial & Management Optimization, 2017, 13 (3) : 1189-1211. doi: 10.3934/jimo.2016068
[9]	Dušan M. Stipanović, Claire J. Tomlin, George Leitmann. A note on monotone approximations of minimum and maximum functions and multi-objective problems. Numerical Algebra, Control & Optimization, 2011, 1 (3) : 487-493. doi: 10.3934/naco.2011.1.487
[10]	Hamed Fazlollahtabar, Mohammad Saidi-Mehrabad. Optimizing multi-objective decision making having qualitative evaluation. Journal of Industrial & Management Optimization, 2015, 11 (3) : 747-762. doi: 10.3934/jimo.2015.11.747
[11]	Peter Giesl, Najla Mohammed. Verification estimates for the construction of Lyapunov functions using meshfree collocation. Discrete & Continuous Dynamical Systems - B, 2017, 22 (11) : 1-27. doi: 10.3934/dcdsb.2019040
[12]	Jinyuan Zhang, Aimin Zhou, Guixu Zhang, Hu Zhang. A clustering based mate selection for evolutionary optimization. Big Data & Information Analytics, 2017, 2 (1) : 77-85. doi: 10.3934/bdia.2017010
[13]	Tien-Fu Liang, Hung-Wen Cheng. Multi-objective aggregate production planning decisions using two-phase fuzzy goal programming method. Journal of Industrial & Management Optimization, 2011, 7 (2) : 365-383. doi: 10.3934/jimo.2011.7.365
[14]	Zongmin Li, Jiuping Xu, Wenjing Shen, Benjamin Lev, Xiao Lei. Bilevel multi-objective construction site security planning with twofold random phenomenon. Journal of Industrial & Management Optimization, 2015, 11 (2) : 595-617. doi: 10.3934/jimo.2015.11.595
[15]	Lorena Rodríguez-Gallego, Antonella Barletta Carolina Cabrera, Carla Kruk, Mariana Nin, Antonio Mauttone. Establishing limits to agriculture and afforestation: A GIS based multi-objective approach to prevent algal blooms in a coastal lagoon. Journal of Dynamics & Games, 2019, 6 (2) : 159-178. doi: 10.3934/jdg.2019012
[16]	Dmitri E. Kvasov, Yaroslav D. Sergeyev. Univariate geometric Lipschitz global optimization algorithms. Numerical Algebra, Control & Optimization, 2012, 2 (1) : 69-90. doi: 10.3934/naco.2012.2.69
[17]	Yang Chen, Xiaoguang Xu, Yong Wang. Wireless sensor network energy efficient coverage method based on intelligent optimization algorithm. Discrete & Continuous Dynamical Systems - S, 2019, 12 (4&5) : 887-900. doi: 10.3934/dcdss.2019059
[18]	Masoud Mohammadzadeh, Alireza Arshadi Khamseh, Mohammad Mohammadi. A multi-objective integrated model for closed-loop supply chain configuration and supplier selection considering uncertain demand and different performance levels. Journal of Industrial & Management Optimization, 2017, 13 (2) : 1041-1064. doi: 10.3934/jimo.2016061
[19]	Azam Moradi, Jafar Razmi, Reza Babazadeh, Ali Sabbaghnia. An integrated Principal Component Analysis and multi-objective mathematical programming approach to agile supply chain network design under uncertainty. Journal of Industrial & Management Optimization, 2019, 15 (2) : 855-879. doi: 10.3934/jimo.2018074
[20]	Ji Li, Tie Zhou. Numerical optimization algorithms for wavefront phase retrieval from multiple measurements. Inverse Problems & Imaging, 2017, 11 (4) : 721-743. doi: 10.3934/ipi.2017034

2018 Impact Factor: 1.025

American Institute of Mathematical Sciences