To ensure a good verification of the CVXIF 1.0.0 implementation for CVA6, it is necessary to define instructions to challenge all the features of the specification.
A good draft of the required instruction are defined in the uploaded file. Those instructions will be implemented in the CVXIF example coprocessor and connected to the CVA6 with an updated version of the CVXIF.
It is necessary to update Spike aswell to match RTL and Spike in dedicated tests for non-regression and verification purposes.
Update of the cvxif.cc file in Spike to support all described instructions.
Support of custom instruction in place of MADD, NMADD, MSUB, NMSUBwhen F extension is disable.
Support of RS3 in place of RD in some CVXIF instructions.
Support of compressed CVXIF instruction in place of compressed floating point instruction when F extension is disable.
Current Status
A deprecated version of CVXIF 0.2.0 in Spike existed. It needs to be updated.
Risks
No response
Prerequisites
No response
KPI (KEY Performance Indicators)
No response
Description of Done
All described instructions are implemented in Spike and functional when F extension is disable.
Is there an existing CVA6 task for this?
Task Description
To ensure a good verification of the CVXIF 1.0.0 implementation for CVA6, it is necessary to define instructions to challenge all the features of the specification.
A good draft of the required instruction are defined in the uploaded file. Those instructions will be implemented in the CVXIF example coprocessor and connected to the CVA6 with an updated version of the CVXIF.
It is necessary to update Spike aswell to match RTL and Spike in dedicated tests for non-regression and verification purposes.
custom_instructions_cvxif_1_0_0.txt
Required Changes
Update of the
cvxif.cc
file in Spike to support all described instructions. Support of custom instruction in place ofMADD
,NMADD
,MSUB
,NMSUB
when F extension is disable. Support ofRS3
in place ofRD
in some CVXIF instructions. Support of compressed CVXIF instruction in place of compressed floating point instruction when F extension is disable.Current Status
A deprecated version of CVXIF 0.2.0 in Spike existed. It needs to be updated.
Risks
No response
Prerequisites
No response
KPI (KEY Performance Indicators)
No response
Description of Done
All described instructions are implemented in Spike and functional when F extension is disable.
Associated PRs
No response