Toggle a Pin in always@() ?

Does the following verilog correctly pulse a reset pin? input [15:0]shadow; input tach; input carry_in; output [15:0]active; output reset; reg [15:0]active; reg reset; al...