Skip to content

AXI/assertion modification

Created by: AEzzejjari

CVA6 can perform a read request with a length equal to 0 or 1, so I've modified this assertion to ensure that ARLEN can only be equal to 0 or 1.

Merge request reports

Loading