(x == y)
)
+def create(s, e, x):
+ return (s<<63) | ((e+1023) << 52) | m
+
+def inf(s):
+ return create(s, 1024, 0)
+
+def nan(s):
+ return create(s, 1024, 1<<52)
+
+def zero(s):
+ return s<<63
+
def get_case(dut, a, b):
yield dut.in_a.v.eq(a)
yield dut.in_a.stb.eq(1)
(x == y)
)
+def create(s, e, x):
+ return (s<<15) | ((e+15) << 11) | m
+
+def inf(s):
+ return create(s, 16, 0)
+
+def nan(s):
+ return create(s, 16, 1<<11)
+
+def zero(s):
+ return s<<15
+
def get_case(dut, a, b):
yield dut.in_a.v.eq(a)
yield dut.in_a.stb.eq(1)