Verilog-2001中1'b?语法合法性及常量拼接复制问题

问题背景 #

用户在Verilog-2001环境下实现带优先级的事件队列处理，计划通过宏定义拼接复制1'b?生成casez语句用的localparam常量，存在两个核心疑问：

• 1'b?是否属于Verilog-2001的合法语法？
• 能否对?字面量进行复制、拼接操作？

用户发现工具支持该语法，但未在Verilog-2001标准的常量表达式定义中找到明确说明，同时已知Verilog-2005标准中z_digit包含?，需确认2001版本的合规性。

代码示例参考 #

基础定义 #

localparam BIT_EV0 = 0;
localparam BIT_EV1 = 1;
localparam BIT_EV2 = 2;
localparam BIT_EV3 = 3;
localparam BIT_MAX = 4; // Register size.

reg [BIT_MAX-1:0] event_queue;

拟定义的宏及常量 #

`define CASE_VALUE(bit) {{BIT_MAX-bit-1{1'b0}}, 1'b1, {bit{1'b?}}}
localparam [BIT_MAX-1:0] PRI_EV0 = `CASE_VALUE(BIT_EV0);
localparam [BIT_MAX-1:0] PRI_EV1 = `CASE_VALUE(BIT_EV1);
localparam [BIT_MAX-1:0] PRI_EV2 = `CASE_VALUE(BIT_EV2);
localparam [BIT_MAX-1:0] PRI_EV3 = `CASE_VALUE(BIT_EV3);
`undef CASE_VALUE

casez语句使用 #

casez(event_queue)
  PRI_EV0: ;
  PRI_EV1: ;
  PRI_EV2: ;
  PRI_EV3: ;
  /* etc. */
  default: ;
endcase

疑问解答 #

1. 1'b?是否为Verilog-2001合法语法？ #

在IEEE 1364-2001（Verilog-2001）标准中，?并非独立的常量字面量语法——标准明确规定，?仅作为casez语句的模式匹配通配符，等价于z（高阻态）。直接写1'b?并非标准定义的合法常量表示，正确的高阻态常量写法应为1'bz。

但多数主流EDA工具（如Synopsys VCS、Cadence Xcelium）出于兼容性和易用性考虑，会将1'b?视为1'bz的别名进行解析支持，这也是用户能正常使用的原因。

2. 能否复制、拼接?字面量？ #

Verilog-2001标准并未明确允许对?字面量进行复制或拼接操作——因为?本质上是casez的匹配符号，而非标准常量字符。但工具层面，由于将1'b?等价为1'bz，因此复制、拼接操作会被解析为对1'bz的操作，从而正常执行。

若要严格遵循Verilog-2001标准，建议将代码中的1'b?替换为1'bz，修改后的宏定义如下：

`define CASE_VALUE(bit) {{BIT_MAX-bit-1{1'b0}}, 1'b1, {bit{1'bz}}}

这样既符合2001标准的语法要求，也能在casez语句中实现相同的通配效果（casez会将z视为通配符）。

内容的提问来源于stack exchange，提问作者artless-noise-bye-due2AI