verilog - 单(＆)和双(&&)＆二进制运算符之间有什么区别？

Question

在IEEE 1800-2005或更高版本中，&和&&二进制运算符有什么区别？它们相等吗？

我注意到，当a和b的类型为bit时，这些coverpoint定义的行为相同:

cp: coverpoint a & b;

cp: coverpoint a && b;

Answer 1

&& 是 bool 运算符，我们称其为“逻辑与”。这并不意味着它必须对 bool 操作数进行操作，而是它的返回类型是 bool 值。
在SV中， bool 值表示:

1'b1 \\ true
1'b0 \\ false
1'bx \\ undef

当逻辑AND对单个位操作数进行运算时，结果是显而易见的，但对向量进行运算时会出现问题。例如:

logic [1:0] vector;
...
vector = 2'b10;
if (1'b1 && vector) ...

出于此逻辑运算的目的，对vector进行等于0的相等性测试。如果是，则将其 bool 值定义为“false”，否则定义为“true”。在上面的示例中，结果为“true”。

和是按位AND和归约AND运算符。它是按位执行还是归约执行取决于上下文:

logic [1:0] vector1;
logic [1:0] vector2;
logic [1:0] vector3;
...
vector1 = 2'b10;
vector2 = 2'b01;
...
vector3 = vector2 & vector1; // bitwise; vector3 = 2'b00
if ( (&vector1) || (&vector2) ) ... // reduction; the result of each reduction is 1'b0

按位运算符对每对对应的操作数位执行逻辑AND运算。结果是一个向量，其宽度等于操作数的最大宽度。

归约运算符在单个向量的所有位之间执行逻辑“与”运算。结果是一个 bool 值。

注意:在单个位操作数上执行时，按位运算符和逻辑运算符的结果相同。但是，即使操作数之一是向量，结果也可能不同。