From: Luke Kenneth Casson Leighton Date: Mon, 18 Feb 2019 17:43:13 +0000 (+0000) Subject: add regression test on div X-Git-Tag: ls180-24jan2020~1899 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9441a2d5af3bfbf135d46c2d95cd0129bcc3e4a;p=ieee754fpu.git add regression test on div --- diff --git a/src/add/test_div.py b/src/add/test_div.py index d6baa024..61882e58 100644 --- a/src/add/test_div.py +++ b/src/add/test_div.py @@ -15,6 +15,7 @@ from unit_test_single import (get_mantissa, get_exponent, get_sign, is_nan, def testbench(dut): + yield from check_case(dut, 0x2b017, 0xff3807ab, 0x80000000) yield from check_case(dut, 0x40000000, 0x3F800000, 0x40000000) yield from check_case(dut, 0x3F800000, 0x40000000, 0x3F000000) yield from check_case(dut, 0x3F800000, 0x40400000, 0x3EAAAAAB)