归约操作符

归约操作符
归约操作符在单一操作数的所有位上操作，并产生1位结果。归约操作符有:
(归约与)
如果存在位值为0, 那么结果为0；若如果存在位值为x或z，结果为x；否则结果为1。
( 归约与非)
与归约操作符相反。
| ( 归约或)
如果存在位值为1，那么结果为1；如果存在位x或z，结果为x；否则结果为0。
• ~| ( 归约或非)
与归约操作符|相反。
( 归约异或)
如果存在位值为x或z，那么结果为x；否则如果操作数中有偶数个1, 结果为0；否则结果
为1。
(归约异或非)
与归约操作符^正好相反。
如下所示。假定,
A = 'b0110;
B = 'b0100;
那么:
|B 结果为1
B 结果为0
A 结果为1
归约异或操作符用于决定向量中是否有位为x。假定,
M y R e g = 4'b01x0；
那么:
^M y R e g 结果为x
上述功能使用如下的i f语句检测:
i f ( ^M y R e g = = = 1'bx)
$ d i s p l a y ("There is an unknown in the vector MyReg !")
注意逻辑相等( = = )操作符不能用于比较；逻辑相等操作符比较将只会产生结果x。全等操
作符期望的结果为值1。

(归约与)
如果存在位值为0, 那么结果为0；若如果存在位值为x或z，结果为x；否则结果为1

归约操作符