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

DOI10.3934/JIMO.2014.10.383MaRDI QIDQ380571zbMATH OpenOpenAlexFDO

Authors Adriel Cheng, C. C. Lim

Publication date 14 November 2013

Published in Journal of Industrial and Management Optimization (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3934/jimo.2014.10.383

zbMATH Keywords

multi-objective optimizationPareto optimizationcoverage driven verificationgenetic evolutionary algorithmssystem-on-chip verification

Mathematics Subject Classification ID

Multi-objective and goal programming (90C29) Case-oriented studies in operations research (90B90)

Recommendations

• Efficient techniques for automatic verification-oriented test set optimization
• An adaptive heuristic algorithm for VLSI test vectors selection
• Hardware and Software, Verification and Testing
• System-on-a-chip verification. Methodology and techniques
• Analog circuits and systems optimization based on evolutionary computation techniques

Cites work

• scientific article; zbMATH DE number 194544 (Why is no real title available?)
• EA for solving combined machine layout and job assignment problems
• Markov modelling and parameterisation of genetic evolutionary test generations
• Multi-objective aggregate production planning decisions using two-phase fuzzy goal programming method
• Nonsmooth optimization over the (weakly or properly) Pareto set of a linear-quadratic multi-objective control problem: explicit optimality conditions
• Refined necessary conditions in multiobjective optimization with applications to microeconomic modeling

Cited in

(4)

• Non-dominated sorting methods for multi-objective optimization: review and numerical comparison
• Hardware and Software, Verification and Testing
• Efficient techniques for automatic verification-oriented test set optimization
• Simulation-based hardware verification with a graph-based specification

This page was built for publication: Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q380571)