logger -expect-no-warnings read_verilog -sv <<EOF package correct_name; localparam X = 1; endpackage : correct_name EOF design -reset logger -expect error "Package name \(correct_name\) and end label \(incorrect_name\) don't match\." 1 read_verilog -sv <<EOF package correct_name; localparam X = 1; endpackage : incorrect_name EOF