add another random div test

diff --git a/src/add/test_div.py b/src/add/test_div.py
index 6ca4c4afa5ee61086da1b35ab7a6fa6963e35793..f0cacd3465ff3fce961f308126cd54d99da6fe0a 100644 (file)
--- a/src/add/test_div.py
+++ b/src/add/test_div.py
@@ -50,6 +50,7 @@ def testbench(dut):
     yield from check_case(dut, 0x3F800000, 0x40000000, 0x3F000000)
     yield from check_case(dut, 0x3F800000, 0x40400000, 0x3EAAAAAB)
     yield from check_case(dut, 0x40400000, 0x41F80000, 0x3DC6318C)
+    yield from check_case(dut, 0x41F9EB4D, 0x429A4C70, 0x3ECF52B2)
 
 if __name__ == '__main__':
     dut = FPDIV(width=32)