riscv-isac icon indicating copy to clipboard operation
riscv-isac copied to clipboard

Z_inx related changes on isac

Open ptprasanna opened this issue 2 years ago • 1 comments

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.

ptprasanna avatar Oct 10 '22 09:10 ptprasanna

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.

pawks avatar Oct 25 '22 05:10 pawks

This PR is obsolete. Please reopen once its up-to-date.

pawks avatar Apr 09 '23 20:04 pawks