Automated Activation of Multiple Targets in RTL Models using Concolic Testing | IEEE Conference Publication | IEEE Xplore