I noticed a usage of "===" in a book as following, which confused me.
if (expected_data === rddata_tb)
...
After some searching, it is found that Ref[1] give out a good explanation.
Here I simply put the question and answer here in case the link Ref[1] might be removed in future.
In the answer below, x means unknown state and z means high impedance state.
Question:
if (dataoutput[7:0] == 8'bx) begin
and
if (dataoutput[7:0] === 8'bx) begin
After executing dataoutput = 52'bx, the second gives 1, but the first gives 0. Why? (0 or 1 is the comparison result.)
Answer:
Some data types in Verilog, such as reg, are 4-state. This means that each bit can be one of 4 values: 0,1,x,z.
With the "case equality" operator, ===, x's are compared, and the result is 1.
With ==, the result of the comparison is not 0, as you stated; rather, the result is x, according to the IEEE Std (1800-2009), section 11.4.5 "Equality operators":
For the logical equality and logical inequality operators (== and !=),
if, due to unknown or high-impedance bits in the operands, the relation
is ambiguous, then the result shall be a 1-bit unknown value (x).
Reference
==========
1. What is the difference between == and === in Verilog?
http://stackoverflow.com/questions/5927615/what-is-the-difference-between-and-in-verilog, 12/29/2014.
No comments:
Post a Comment