diff options
author | Jack Frankland <jack.frankland@arm.com> | 2023-09-13 15:47:48 +0100 |
---|---|---|
committer | Jeremy Johnson <jeremy.johnson@arm.com> | 2023-10-02 11:30:47 +0100 |
commit | 62737b15a30e431dcefaaf28001f304e46598fc6 (patch) | |
tree | c22f4e3cb416eda3105f9bff903d698dace2f35f /verif/checker | |
parent | fbf76784f8ec9650f25d4debfd599bd095cf41c2 (diff) | |
download | reference_model-62737b15a30e431dcefaaf28001f304e46598fc6.tar.gz |
Add ULP verification for fp32
Add a verifier to check two results are correct within a certain ULP
tolerance for IEEE-754 32-bit floating point values.
Add a test to check the ULP verifier is correct.
Signed-off-by: Jack Frankland <jack.frankland@arm.com>
Change-Id: Iaf43069f300999479d998e7837746b247ca5177e
Diffstat (limited to 'verif/checker')
0 files changed, 0 insertions, 0 deletions