aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDominic Symes <dominic.symes@arm.com>2023-06-01 12:48:11 +0100
committerDominic Symes <dominic.symes@arm.com>2023-06-02 10:10:35 +0000
commit69561f37f197248efd4513e81c5979a17edde1a8 (patch)
tree891d355c3f79d29350219297f8bf27d01771aacd
parent5a20033df24efe088b2535ddd9274645564fade4 (diff)
downloadspecification-69561f37f197248efd4513e81c5979a17edde1a8.tar.gz
Fix main inference conformance data generator scaling
Correct scaling factor for tosa_mi_data() for S=1 and S=4 data sets. Signed-off-by: Dominic Symes <dominic.symes@arm.com> Change-Id: I3f09f758d82ccd64da8bb26fd219ff4d7a55918c
-rw-r--r--chapters/appendix_a.adoc8
1 files changed, 4 insertions, 4 deletions
diff --git a/chapters/appendix_a.adoc b/chapters/appendix_a.adoc
index f601d5d..f439871 100644
--- a/chapters/appendix_a.adoc
+++ b/chapters/appendix_a.adoc
@@ -70,8 +70,8 @@ The aim of this test set is to check values with large exponents.
[cols="1,9"]
|===
| p | tosa_mi_data(S, KS, p, k, i) =
-| 0 | (B/sqrt(N))*(0.75 + 0.25*set_data(2*S+0, i))
-| 1 | (B/sqrt(N))*(0.75 + 0.25*set_data(2*S+1, i))
+| 0 | (B/sqrt(KS))*(0.75 + 0.25*set_data(2*S+0, i))
+| 1 | (B/sqrt(KS))*(0.75 + 0.25*set_data(2*S+1, i))
|===
==== Test set S=2
@@ -107,8 +107,8 @@ The aim of this test set is to check a mixture of zero and non-zero products.
[cols="1,9"]
|===
| p | tosa_mi_data(S, KS, p, k, i) =
-| 0 | (k==KS/2) ? +0.5 : (set_data(2*S, i) < 0 ? 0.0 : B*set_data(2*S+1, i))
-| 1 | (k==KS/2) ? -0.5 : (set_data(2*S, i) < 0 ? B*set_data(2*S+1, i) : 0.0)
+| 0 | (k==KS/2) ? +0.5 : (set_data(2*S, i) < 0 ? 0.0 : (B/sqrt(KS))*set_data(2*S+1, i))
+| 1 | (k==KS/2) ? -0.5 : (set_data(2*S, i) < 0 ? (B/sqrt(KS))*set_data(2*S+1, i) : 0.0)
|===
==== Test set S=5