diff options
Diffstat (limited to 'chapters')
| -rw-r--r-- | chapters/appendix_a.adoc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/chapters/appendix_a.adoc b/chapters/appendix_a.adoc index 0f21b6b..acb59ec 100644 --- a/chapters/appendix_a.adoc +++ b/chapters/appendix_a.adoc @@ -60,8 +60,8 @@ The aim of this generator is to check that sum of products with zero gives zero [cols="1,9"] |=== | p | tosa_mi_data(S, KS, p, k, i) = -| 0 | set_data(2*S, i) < 0 ? 0.0 : set_data(2*S+1, i) -| 1 | set_data(2*S, i) < 0 ? set_data(2*S+1, i) : 0.0 +| 0 | set_data(3*S, i) < 0 ? 0.0 : set_data(3*S+1, i) +| 1 | set_data(3*S, i) < 0 ? set_data(3*S+1, i) : 0.0 | 2 | 0.0 |=== @@ -86,8 +86,8 @@ If the implementation changes the order of the sum, then the test data must also [cols="1,9"] |=== | p | tosa_mi_data(S, KS, p, k, i) = -| 0 | (k==0) ? 1.0 : set_data(2*S+0, i)/sqrt(KS) -| 1 | (k==0) ? 1.0 : set_data(2*S+1, i)/sqrt(KS) +| 0 | (k==0) ? 1.0 : set_data(3*S+0, i)/sqrt(KS) +| 1 | (k==0) ? 1.0 : set_data(3*S+1, i)/sqrt(KS) | 2 | 0.0 |=== @@ -100,8 +100,8 @@ If the implementation changes the order of the sum, then the test data must also [cols="1,9"] |=== | p | tosa_mi_data(S, KS, p, k, i) = -| 0 | (k==0) ? ((set_data(2*S+0, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(2*S+0, 2*i+0)) * set_data(2*S+0, 2*i+1) -| 1 | (k==0) ? ((set_data(2*S+1, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(2*S+1, 2*i+0)) * set_data(2*S+1, 2*i+1) +| 0 | (k==0) ? ((set_data(3*S+0, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(3*S+0, 2*i+0)) * set_data(3*S+0, 2*i+1) +| 1 | (k==0) ? ((set_data(3*S+1, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(3*S+1, 2*i+0)) * set_data(3*S+1, 2*i+1) | 2 | 0.0 |=== @@ -112,8 +112,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) ? (set_data(2*S, i) < 0 ? -0.5 : +0.5) : (set_data(2*S, i) < 0 ? 0.0 : (B/sqrt(KS))*set_data(2*S+1, i)) -| 1 | (k==KS/2) ? (set_data(2*S, i) < 0 ? +0.5 : -0.5) : (set_data(2*S, i) < 0 ? (B/sqrt(KS))*set_data(2*S+1, i) : 0.0) +| 0 | (k==KS/2) ? (set_data(3*S, i) < 0 ? -0.5 : +0.5) : (set_data(3*S, i) < 0 ? 0.0 : (B/sqrt(KS))*set_data(3*S+1, i)) +| 1 | (k==KS/2) ? (set_data(3*S, i) < 0 ? +0.5 : -0.5) : (set_data(3*S, i) < 0 ? (B/sqrt(KS))*set_data(3*S+1, i) : 0.0) | 2 | 0.0 |=== |