Design validation of RTL circuits using evolutionary swarm intelligence | IEEE Conference Publication | IEEE Xplore