diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-12-27 13:50:08 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-12-27 13:50:08 +0100 |
commit | ecc30255ba70910777a4586f5bd6abc818073293 (patch) | |
tree | 35eb7e1b849d1da91c5ab5e2ffd4251aeb8a213d /tests/simple | |
parent | 11ffa7867794ee5bda2742830bda64976ad4f549 (diff) | |
download | yosys-ecc30255ba70910777a4586f5bd6abc818073293.tar.gz yosys-ecc30255ba70910777a4586f5bd6abc818073293.tar.bz2 yosys-ecc30255ba70910777a4586f5bd6abc818073293.zip |
Added proper === and !== support in constant expressions
Diffstat (limited to 'tests/simple')
-rw-r--r-- | tests/simple/undef_eqx_nex.v | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/simple/undef_eqx_nex.v b/tests/simple/undef_eqx_nex.v new file mode 100644 index 000000000..63912a2fa --- /dev/null +++ b/tests/simple/undef_eqx_nex.v @@ -0,0 +1,11 @@ +module test(y); +output [7:0] y; +assign y[0] = 0/0; +assign y[1] = 0/1; +assign y[2] = 0/0 == 32'bx; +assign y[3] = 0/0 != 32'bx; +assign y[4] = 0/0 === 32'bx; +assign y[5] = 0/0 !== 32'bx; +assign y[6] = 0/1 === 32'bx; +assign y[7] = 0/1 !== 32'bx; +endmodule |