Utilizing GPGPUs for design validation with a modified Ant Colony Optimization | IEEE Conference Publication | IEEE Xplore