单（＆amp;）和双（＆amp;＆amp;＆amp;）＆符号二元运算符有什么区别？

Question

在IEEE 1800-2005或更高版本中，&和&&二元运算符之间有什么区别？它们是等价的吗？

我注意到这些封面定义的行为相同，其中a和b的类型为bit：

• cp: coverpoint a & b;
• cp: coverpoint a && b;

Answer 1

＆amp;＆amp; 是一个布尔运算符，我们将其称为“逻辑AND”。这并不意味着它必须对布尔操作数进行操作，但它的返回类型是布尔值。 在SV中，布尔表示：

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

当逻辑AND对单个位操作数进行操作时，结果很明显，但是当它在向量上运行时会出现问题。例如：

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

为了这个逻辑操作的目的，向量被测试相等为0.如果是，那么它的布尔值被定义为“假”，否则被定义为“真”。在上面的例子中，结果是“true”。

＆amp; 是按位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运算。结果是一个向量，其宽度等于操作数的最大宽度。

Reducer运算符在单个向量的所有位之间执行逻辑AND运算。结果是一位布尔值。

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

Answer 2

＆安培;＆安培;是合乎逻辑的。它接受两个布尔值并返回布尔值。

＆安培;是按位AND。它接受两个数字并返回一个数字。

在上面的示例中，如果a和b都打包bit [1:0]，行为会有所不同。