Directed test generation using concolic testing on RTL models | IEEE Conference Publication | IEEE Xplore