创建寄存器别名模板：实现自别名时触发编译时错误

需求背景 #

需要在Model Builder中实现寄存器别名模板，要求当别名寄存器（支持数组类型）意外指向自身时，触发编译时错误。直接将alias_reg参数与this对比无法实现该检测，因为数组寄存器的实例层次或类型特性会导致对比失效。

原示例代码 #

原指南中的寄存器别名模板及使用示例：

bank regs {
    register X size 4 @ 0x00 is (read_write) "the X register";
    register Y size 4 @ 0x04 is (alias) { parameter alias_reg = $X; }
}

template alias {
    parameter alias_reg;
    parameter allocate = false;
    parameter configuration = "none";
    parameter desc = "alias of " + $alias_reg.name;

    method read_access(generic_transaction_t *mop, msb1, lsb) -> (value) {
        log "info", 4: "Redirecting read access to %s", $alias_reg.qname;
        inline $alias_reg.read_access(mop, msb1, lsb) -> (value);
    }

    method write_access(generic_transaction_t *mop, msb1, lsb, value) {
        log "info", 4: "Redirecting write access to %s", $alias_reg.qname;
        inline $alias_reg.write_access(mop, msb1, lsb, value);
    }
}

解决方案 #

通过对比寄存器的**完全限定名（qname）**实现编译时检测，qname是Model Builder中寄存器实例的全局唯一标识，能覆盖单个寄存器和数组元素的场景。修改后的模板如下：

template alias {
    parameter alias_reg;
    parameter allocate = false;
    parameter configuration = "none";
    parameter desc = "alias of " + $alias_reg.name;

    // 编译时断言：禁止别名指向自身，兼容数组类型
    compile_assert(
        $alias_reg.qname != $this.qname,
        "Alias error: Register cannot alias itself. Target: %s, Current: %s",
        $alias_reg.qname,
        $this.qname
    );

    method read_access(generic_transaction_t *mop, msb1, lsb) -> (value) {
        log "info", 4: "Redirecting read access to %s", $alias_reg.qname;
        inline $alias_reg.read_access(mop, msb1, lsb) -> (value);
    }

    method write_access(generic_transaction_t *mop, msb1, lsb, value) {
        log "info", 4: "Redirecting write access to %s", $alias_reg.qname;
        inline $alias_reg.write_access(mop, msb1, lsb, value);
    }
}

方案说明 #

1. 编译时检测：使用compile_assert在编译阶段触发错误，避免运行时出现无限递归访问的问题
2. 全局唯一标识：qname包含寄存器的完整路径信息，无论是单个寄存器还是数组中的元素，都能通过该标识准确判断是否指向自身
3. 明确错误信息：断言中包含目标寄存器和当前寄存器的qname，便于快速定位错误位置

错误场景测试 #

以下用法会触发编译错误：

bank regs {
    // 单个寄存器自指向
    register X size 4 @ 0x00 is (alias) { parameter alias_reg = $X; }

    // 数组寄存器元素自指向
    register ARRAY[4] size 4 @ 0x10 is (alias) { 
        parameter alias_reg = $ARRAY[$index]; 
    }
}

内容的提问来源于stack exchange，提问作者sgolaev