behavioral testbench code