Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking | IEEE Conference Publication | IEEE Xplore