The National Science Foundation has awarded Michael Hsiao a three-year $363,439 grant to apply swarm intelligence to design validation. According to Hsiao, “the likelihood of hidden, subtle bugs increases with growing design sizes, and reaching corner cases in large designs and systems in order to expose such subtle bugs has become a daunting task. Verifying the correctness of the design is now a tremendous bottleneck.”
Taking their inspiration from swarms of ants, the group is using swarm intelligence techniques to transfer individual knowledge acquired during a search to the collective consciousness. “The development of new theories and algorithms will allow for deeper understanding of semi-formal verification and state space exploration,” says Hsiao.