Enhancement: set new_ascii_instr to UNDEFINED by default

This commit is contained in:
Flavien Solt 2023-02-20 10:44:59 +01:00
parent f00a88c36e
commit 752d87c798
1 changed files with 1 additions and 1 deletions

View File

@ -698,7 +698,7 @@ module picorv32 #(
`FORMAL_KEEP reg dbg_rs2val_valid; `FORMAL_KEEP reg dbg_rs2val_valid;
always @* begin always @* begin
new_ascii_instr = ""; new_ascii_instr = "UNDEFINED";
if (instr_lui) new_ascii_instr = "lui"; if (instr_lui) new_ascii_instr = "lui";
if (instr_auipc) new_ascii_instr = "auipc"; if (instr_auipc) new_ascii_instr = "auipc";