[page table]Fix issue #926 issue #846, NEXT_LEVEL_PAGE entry's fields a,d,u should be 0

chipsalliance / riscv-dv

Random instruction generator for RISC-V processor verification

Apache License 2.0

1.03k stars 330 forks source link

[page table]Fix issue #926 issue #846, NEXT_LEVEL_PAGE entry's fields a,d,u should be 0 #930

Closed davine47 closed 1 year ago

davine47 commented 1 year ago

Fix issue #926 and issue #846, NEXT_LEVEL_PAGE entry's fields a,d,u should be 0, also valid_link_pte violate the constraint sw_legal_c. It will make spkie fall into infinite loop. Also see issue#752 in SPIKE.

pradheepkaliraj commented 1 year ago

Thanks for making this fix.

riscv1111 commented 1 year ago

How did this infinite loop work, bro