test verilog para tesis