riscv-isac
riscv-isac copied to clipboard
Z_inx related changes on isac
Introduced a new flag for Z_inx extensions, which is passed through a cli command argument (-ix) when we build the isac execution string. This flag is then consumed across the modules.
fp_dataset - Normalize coverpoint sanitization across ibm models internaldecoder - Floating point instructions have to restrict the 'f' registers only if F or D is enabled on the DUT Also few minor changes are done accordingly to enable Z_inx extensions across the framework
The ran reports are placed here.
The coverpoints need to have the prefix==XXXXX
also i.e they need to test whether the values in the source operands are correctly sign extended. Consequently, the tests also should load values which are correctly sign extended i.e load the entire register before performing the operation(instead of lw
and so on). Future tests will test that the behavior is unchanged when the source operands are incorrectly sign extended.
This PR is obsolete. Please reopen once its up-to-date.