From 0e87924198af25681f45f330a04924048b18a7a2 Mon Sep 17 00:00:00 2001 From: Dominic Symes Date: Mon, 5 Feb 2024 17:04:15 +0000 Subject: Main Conformance: Update POW error bound Update POW error bound to allow for the error of a LOG, MUL, EXP sequence. Change-Id: I250635130bce2ac72cc39a9c9052d8e868f7cf41 Signed-off-by: Dominic Symes --- chapters/introduction.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chapters/introduction.adoc b/chapters/introduction.adoc index 3922d13..9d53510 100644 --- a/chapters/introduction.adoc +++ b/chapters/introduction.adoc @@ -278,7 +278,7 @@ Then `tosa_reference_check_fp_bnd(out_imp, out_ref, err_bnd)` must be Let `out_imp` be the implementation output of `pow(x,y)`. + If `x` is less than zero and `y` is non-integral then the result must be a NaN. + Let `out_ref` be the result of the fp64_t reference implementation of `pow(x,y)`. + -Let `err_bnd = abs(out_ref) * exp2(-normal_frac) * (1+abs(log(abs(x))*y))` + +Let `err_bnd = abs(out_ref) * exp2(-normal_frac) * (2 * (1+abs(log(abs(x))*y)))` + Then `tosa_reference_check_fp_bnd(out_imp, out_ref, err_bnd)` must be true | <> -- cgit v1.2.1