From 4f95cd883bd8ec12f6f4c0450425080049a0e463 Mon Sep 17 00:00:00 2001 From: Dominic Symes Date: Thu, 21 Mar 2024 15:44:26 +0000 Subject: Main Conformance: Update SIN,COS error bounds Large input values to SIN or COS can lead to proportionately large errors in the angle and so in the SIN or COS result. Change-Id: Ibc0d8f4f1db27b8c8855c48a238040442c14ef71 Signed-off-by: Dominic Symes --- chapters/introduction.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/chapters/introduction.adoc b/chapters/introduction.adoc index c6764d3..b8f1730 100644 --- a/chapters/introduction.adoc +++ b/chapters/introduction.adoc @@ -321,13 +321,13 @@ Then `tosa_reference_check_fp_bnd(out_imp, out_ref, err_bnd)` must be | <> | Let `x` be an input element and `out_imp` the implementation output of `cos(x)`. + Let `out_ref` be the result of the fp64_t reference implementation of `cos(x)`. + -Let `err_bnd = abs(out_ref) * exp2(-normal_frac/2)` + +Let `err_bnd = abs(x) * exp2(-normal_frac/2)` + Then `tosa_reference_check_fp_bnd(out_imp, out_ref, err_bnd)` must be true | <> | Let `x` be an input element and `out_imp` the implementation output of `sin(x)`. + Let `out_ref` be the result of the fp64_t reference implementation of `sin(x)`. + -Let `err_bnd = abs(out_ref) * exp2(-normal_frac/2)` + +Let `err_bnd = abs(x) * exp2(-normal_frac/2)` + Then `tosa_reference_check_fp_bnd(out_imp, out_ref, err_bnd)` must be true | <> -- cgit v1.2.1