Added a fresh copy of the Interface, testbench, and specification files for definiteness