diff options
Diffstat (limited to 'chapters/introduction.adoc')
| -rw-r--r-- | chapters/introduction.adoc | 4 |
1 files 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<in_out_t>(out_imp, out_ref, err_bnd)` must be | <<COS>> | 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<in_out_t>/2)` + +Let `err_bnd = abs(x) * exp2(-normal_frac<in_out_t>/2)` + Then `tosa_reference_check_fp_bnd<in_out_t>(out_imp, out_ref, err_bnd)` must be true | <<SIN>> | 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<in_out_t>/2)` + +Let `err_bnd = abs(x) * exp2(-normal_frac<in_out_t>/2)` + Then `tosa_reference_check_fp_bnd<in_out_t>(out_imp, out_ref, err_bnd)` must be true | <<RESIZE>> |