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

Published 20 hours ago • verified publisher icon riscv

Added constraint for SXLEN and UXLEN

Open trdthg opened this issue 5 months ago • 3 comments

According to the spec:

  • Added the constraint that SXLEN≥UXLEN.
  • When MXLEN=64, if S-mode is not supported, then SXL is read-only zero.
  • When MXLEN=64, if U-mode is not supported, then UXL is read-only zero.

This PR adds assertion and some conditional statements to satisfy the above constraints.

trdthg avatar Aug 29 '24 01:08 trdthg