read_verilog ../top_err_3.v
tee -o result.log eval -vloghammer_report u_ rtl x 1'b1