Add documentation for some of the testbench functions