rocket-chip - 为什么“def”用于定义火箭芯片某些部分的常数？

Question

在火箭芯片的某些组件中，def用于定义常量；例如对于 PLIC 的 MMIO 寄存器的地址

....      
def priorityBase = 0x0
def pendingBase = 0x1000
def enableBase = 0x2000
def hartBase = 0x200000
....

我想知道为什么def在这里定义常量，有什么好处？我认为这def通常用于定义方法。