RTL Development Optimization by Reusing SystemC Model Testbench