Efficient validation input generation in RTL by hybridized source code analysis | IEEE Conference Publication | IEEE Xplore