aboutsummaryrefslogtreecommitdiff
path: root/reference_model/src/verify/verifiers.h
diff options
context:
space:
mode:
authorJeremy Johnson <jeremy.johnson@arm.com>2024-02-19 13:57:21 +0000
committerEric Kunze <eric.kunze@arm.com>2024-02-26 16:20:32 +0000
commit08965d35f728d93d8b215753b4b270a422fe39c9 (patch)
tree41a520e5f83d3c5bfa9db559bfc500753ba95bb4 /reference_model/src/verify/verifiers.h
parente4c89eb171272c1bc28c188aeb8363009674ba86 (diff)
downloadreference_model-08965d35f728d93d8b215753b4b270a422fe39c9.tar.gz
Verifier - change to output largest error deviance
Add general validateData function used by ABS_ERROR, ULP, RELATIVE and REDUCE_PRODUCT to find and output largest deviance from the error bounds. Clean up naming inconsistencies bewteen verify modes. Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com> Change-Id: Ib903faf36f784cacae91edab61d8e489461a727c
Diffstat (limited to 'reference_model/src/verify/verifiers.h')
-rw-r--r--reference_model/src/verify/verifiers.h49
1 files changed, 26 insertions, 23 deletions
diff --git a/reference_model/src/verify/verifiers.h b/reference_model/src/verify/verifiers.h
index 80b6e19..e5f9df1 100644
--- a/reference_model/src/verify/verifiers.h
+++ b/reference_model/src/verify/verifiers.h
@@ -22,30 +22,30 @@ namespace TosaReference
{
/// \brief Perform dot-product based verification
///
-/// \param ref Reference tensor
-/// \param refBnd Reference tensor when ran on abs(input)
-/// \param imp Implementation resulting tensor
-/// \param dpInfo Dot-product verification meta-data
+/// \param referenceTensor Reference tensor
+/// \param boundsTensor Reference tensor when ran on abs(input)
+/// \param implementationTensor Implementation resulting tensor
+/// \param dpInfo Dot-product verification meta-data
///
/// \return True if compliant else false
-bool verifyDotProduct(const CTensor* ref,
- const CTensor* refBnd,
- const CTensor* imp,
+bool verifyDotProduct(const CTensor* referenceTensor,
+ const CTensor* boundsTensor,
+ const CTensor* implementationTensor,
const DotProductVerifyInfo& dpInfo);
/// \brief Perform exact result verification
///
-/// \param referenceTensor Reference tensor
-/// \param implementationTensor Implementation resulting tensor
+/// \param referenceTensor Reference tensor
+/// \param implementationTensor Implementation resulting tensor
///
/// \return True if compliant else false
bool verifyExact(const CTensor* referenceTensor, const CTensor* implementationTensor);
/// \brief Perform reduce product result verification
///
-/// \param referenceTensor Reference tensor
-/// \param implementationTensor Implementation resulting tensor
-/// \param rpInfo Reduce-product verification meta-data
+/// \param referenceTensor Reference tensor
+/// \param implementationTensor Implementation resulting tensor
+/// \param rpInfo Reduce-product verification meta-data
///
/// \return True if compliant else false
bool verifyReduceProduct(const CTensor* referenceTensor,
@@ -54,28 +54,31 @@ bool verifyReduceProduct(const CTensor* referenceTensor,
/// \brief Perform ULP result verification
///
-/// \param referenceTensor Reference tensor
-/// \param implementationTensor Implementation resulting tensor
-/// \param ulpInfo The ULP tolerence info for the comparison of the two tensors
+/// \param referenceTensor Reference tensor
+/// \param implementationTensor Implementation resulting tensor
+/// \param ulpInfo ULP tolerence info for the comparison
///
/// \return True if compliant else false
bool verifyULP(const CTensor* referenceTensor, const CTensor* implementationTensor, const UlpVerifyInfo& ulpInfo);
/// \brief Perform abs-error based verification
///
-/// \param ref Reference tensor
-/// \param refBnd Reference bounds tensor (according to op)
-/// \param imp Implementation resulting tensor
-/// \param aeInfo Abs-error verification meta-data
+/// \param referenceTensor Reference tensor
+/// \param boundsTensor Reference bounds tensor (according to op)
+/// \param implementationTensor Implementation resulting tensor
+/// \param aeInfo Abs-error verification meta-data
///
/// \return True if compliant else false
-bool verifyAbsError(const CTensor* ref, const CTensor* refBnd, const CTensor* imp, const AbsErrorVerifyInfo& aeInfo);
+bool verifyAbsError(const CTensor* referenceTensor,
+ const CTensor* boundsTensor,
+ const CTensor* implementationTensor,
+ const AbsErrorVerifyInfo& aeInfo);
/// \brief Perform relative result verification
///
-/// \param referenceTensor Reference tensor
-/// \param implementationTensor Implementation resulting tensor
-/// \param rInfo Relative verification meta-data
+/// \param referenceTensor Reference tensor
+/// \param implementationTensor Implementation resulting tensor
+/// \param rInfo Relative verification meta-data
///
/// \return True if compliant else false
bool verifyRelative(const CTensor* referenceTensor,