diff options
author | Jack Frankland <jack.frankland@arm.com> | 2023-09-20 09:08:34 +0100 |
---|---|---|
committer | Eric Kunze <eric.kunze@arm.com> | 2023-10-03 21:48:32 +0000 |
commit | 12ee1a79374b451602784fd6dc8f63886bf2a997 (patch) | |
tree | b01d4ee8c0ee1c1d276d7b975bfaa78dc3ceee66 /reference_model/src/verify/verifiers.h | |
parent | e2b5e87804e158cb3e5d06a131c317b3890b87b3 (diff) | |
download | reference_model-12ee1a79374b451602784fd6dc8f63886bf2a997.tar.gz |
Add reduce product verifier
* Add verifiers to validate the result of a reduce produce operation.
* Add test cases for the new validator.
Change-Id: I666d1a67f498e7893e0f224bc5408a4134f2ef6c
Signed-off-by: Jack Frankland <jack.frankland@arm.com>
Diffstat (limited to 'reference_model/src/verify/verifiers.h')
-rw-r--r-- | reference_model/src/verify/verifiers.h | 10 |
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 |