added automatic testbench generation