1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
// Copyright (c) 2023, ARM Limited.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//===----------------------------------------------------------------------===//
//
// Verification functionality as per TOSA Specification
// Output Verification : Section 1.8.2
//
//===----------------------------------------------------------------------===//
#include <cstddef>
#ifdef __cplusplus
extern "C"
{
#endif /* __cplusplus */
// Check result
//
// Error is valid only and only if is_valid is true
struct CheckResult
{
bool is_valid;
double error;
};
/// Validate and calculate tensor element error when using an fp32 accumulator
///
/// \param ref Tensor element calculated using fp64
/// \param bnd Tensor element calculated using fp64 on abs(input, weights)
/// \param imp Tensor element calculated through the implementation
/// \param KS The kernel size
///
/// \return Output error
CheckResult tosa_validate_element_accfp32(double ref, double bnd, float imp, size_t KS);
/// Validate the accumulated output error
///
/// \param err_sum Sum of error of all the tensor elements within a tensor
/// \param err_sum_sq Sum of error squares of all the tensor elements within a tensor
/// \param T Number of output (dot-product) elements
/// \param KS The kernel size
/// \param S Test set used as a input/weight generator
///
/// \return True if the error is within margin else false
bool tosa_validate_output_error(double err_sum, double err_sum_sq, size_t T, size_t KS, int S);
/// Validate error of whole vector of output data
///
/// \param ref Output elements calculated using fp64
/// \param bnd Output elements calculated using fp64 on abs(input, weights)
/// \param imp Output elements calculated using the implementation
/// \param T Number of elements in outputs (need to match)
/// \param KS The kernel size
/// \param S Test set used as a input/weight generator
///
/// \return True if the error is within margin else false
bool tosa_validate_data_fp32(const double* ref, const double* bnd, const float* imp, size_t T, size_t KS, int S);
#ifdef __cplusplus
}
#endif /* __cplusplus */
|
