diff options
Diffstat (limited to 'chapters/introduction.adoc')
-rw-r--r-- | chapters/introduction.adoc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/chapters/introduction.adoc b/chapters/introduction.adoc index 17c16a8..a580472 100644 --- a/chapters/introduction.adoc +++ b/chapters/introduction.adoc @@ -309,6 +309,18 @@ Let n be number of elements in the product, out_imp the implementation result, a Let `err_bnd = abs(out_ref) * (pow(1 + pow(2, -normal_frac<in_out_t> - 1), n) - 1)` + Then `tosa_reference_check_fp_bnd<in_out_t>(out_imp, out_ref, err_bnd)` must be true +| <<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)` + +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)` + +Then `tosa_reference_check_fp_bnd<in_out_t>(out_imp, out_ref, err_bnd)` must be true + |=== ===== Operator sequence precision requirement |