RISC-VのPC相対アドレス代入命令

あんまりMIPSに見ない命令、というか、ちょっと特徴的なので、メモ。

• AUIPC rd

AUIPC (add upper immediate to pc) is used to build pc-relative addresses and uses the U-type
format. AUIPC forms a 32-bit offset from the 20-bit U-immediate, filling in the lowest 12 bits with
zeros, adds this oset to the pc, then places the result in register rd.

RISC-VのISAマニュアルには明確な動作記述がないので、こういうことかな？

reg[rd] <= {imm[31:12], 12'h000} + pc[31: 0]

というあたりか。