Efficient design validation based on cultural algorithms

Weixin Wu, Michael S. Hsiao
2008 Proceedings of the conference on Design, automation and test in Europe - DATE '08  
We introduce a new semi-formal 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 hardto-reach states
more » ... dto-reach states than existing methods.
doi:10.1145/1403375.1403473 fatcat:wcwphznevjc4jltthvvkyehp4y