aboutsummaryrefslogtreecommitdiff
path: root/reference_model/src/verify/verifiers.h
diff options
context:
space:
mode:
Diffstat (limited to 'reference_model/src/verify/verifiers.h')
-rw-r--r--reference_model/src/verify/verifiers.h10
1 files changed, 10 insertions, 0 deletions
diff --git a/reference_model/src/verify/verifiers.h b/reference_model/src/verify/verifiers.h
index bdc8fe7..dd97122 100644
--- a/reference_model/src/verify/verifiers.h
+++ b/reference_model/src/verify/verifiers.h
@@ -41,6 +41,16 @@ bool verifyDotProduct(const CTensor* ref,
/// \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 m Number of manisa bits in the floating point representation
+/// \param n Number of elements in the product
+///
+/// \return True if compliant else false
+bool verifyReduceProduct(const CTensor* referenceTensor, const CTensor* implementationTensor, uint64_t m, uint64_t n);
+
/// \brief Perform ULP result verification
///
/// \param referenceTensor Reference tensor