A testbench specification language for SystemC Verification