C-testbench and C/RTL co-simulation