Renamed behavioral testbench module.