from nmigen import Module, Signal
from nmigen.compat.sim import run_simulation
-from nmigen_add_experiment import FPADD
+from ieee754.fpadd.nmigen_add_experiment import FPADD
-from unit_test_single import (get_mantissa, get_exponent, get_sign, is_nan,
+from ieee754.fpcommon.test.unit_test_single import (get_mantissa, get_exponent,
+ get_sign, is_nan,
is_inf, is_pos_inf, is_neg_inf,
match, get_rs_case, check_rs_case, run_test,
run_edge_cases, run_corner_cases)