Efficient validation input generation in RTL by hybridized source code analysis
GoldMine: Automatic assertion generation using data mining and static analysis