Efficient Design Validation Based on Cultural Algorithms

• Published in: 2008 Design, Automation and Test in Europe pp. 402 - 407
• Main Authors: Weixin Wu, Hsiao, M.S.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-03-2008
• Subjects: Algorithm design and analysis; Analytical models; Circuit simulation; Computational modeling; Concrete; Costs; Cultural differences; Data mining; Design engineering; State-space methods
• ISBN: 3981080130; 9783981080131
• ISSN: 1530-1591; 1558-1101
• DOI: 10.1109/DATE.2008.4484714

We introduce a new semiformal design validation framework to justify hard-to-reach corner-case states. We propose a cultural learning technique to identify the swarming of domain knowledge during the search. In addition, our guidance strategy abstracts sets of partitioned state variables, from which pre-images are computed to capture the expanded portions of the state spaces related to a target state. Experimental results show that our approach is very effective to reach hard- to-reach states than existing methods.