Efficient validation input generation in RTL by hybridized source code analysis
A System to Generate Test Data and Symbolically Execute Programs