# *The Filename for this script must be have a .tcl extension # To run a testbench specify the testbench file, the simulation # model file (.vo or .vho), and the testbench module name. # This can be ...