projects
/
yosys.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Add opt_rmdff tests
[yosys.git]
/
tests
/
simple
/
undef_eqx_nex.v
1
module undef_eqx_nex(y);
2
output [7:0] y;
3
assign y[0] = 0/0;
4
assign y[1] = 0/1;
5
assign y[2] = 0/0 == 32'bx;
6
assign y[3] = 0/0 != 32'bx;
7
assign y[4] = 0/0 === 32'bx;
8
assign y[5] = 0/0 !== 32'bx;
9
assign y[6] = 0/1 === 32'bx;
10
assign y[7] = 0/1 !== 32'bx;
11
endmodule