Add test suite for issues found during CVA6 development. (!1392) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/zchamski/pr/add_custom_issue_tests into cva6/dev Aug 30, 2022

Created by: zchamski

The cva6/tests/custom/issues test family is intended to exercise any issues found during CVA6 development - as a complement to upstream test suites. The initial two tests exercise the proper formatting of writes into FP registers triggered by compressed instructions whereby an issue in the RTL tracer caused discrepancies between RTL logs and the output of Spike.

This PR supersedes #1388.

Files changed/added:

cva6/regress/issue-tests.sh: New.
cva6/tests/custom/issues/compressed-fpreg-commits-rv32.S: Ditto.
cva6/tests/custom/issues/compressed-fpreg-commits-rv64.S: Ditto.
cva6/tests/testlist_issues.yaml: Ditto.

Signed-off-by: Zbigniew Chamski zbigniew.chamski@thalesgroup.com

Add test suite for issues found during CVA6 development.

Merge request reports