diff options
| author | Dominic Symes <dominic.symes@arm.com> | 2024-02-05 17:04:15 +0000 |
|---|---|---|
| committer | Dominic Symes <dominic.symes@arm.com> | 2024-02-09 12:59:34 +0000 |
| commit | 0e87924198af25681f45f330a04924048b18a7a2 (patch) | |
| tree | 522b0e967f76c030c31fee98872c4f2944a94dca | |
| parent | 599de076047aae846fd28cc52a777e4b6e534aaf (diff) | |
| download | specification-0e87924198af25681f45f330a04924048b18a7a2.tar.gz | |
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 <dominic.symes@arm.com>
| -rw-r--r-- | chapters/introduction.adoc | 2 |
1 files changed, 1 insertions, 1 deletions
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<in_out_t>(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<in_out_t>) * (1+abs(log(abs(x))*y))` + +Let `err_bnd = abs(out_ref) * exp2(-normal_frac<in_out_t>) * (2 * (1+abs(log(abs(x))*y)))` + Then `tosa_reference_check_fp_bnd<in_out_t>(out_imp, out_ref, err_bnd)` must be true | <<SIGMOID>> |