added verilog files to test with pyverilog