You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The mor1kx_lsu_cappuccino write ack logic depends on writes to the store buffer to be acked.
If we disable the store buffer acks are not returned and the system does not run.
This can be tested using mor1k_lsu_cappuccino formal via editing mor1k_lsu_cappuccino.sby to disable the store buffer and run make -C bench/formal mor1k_lsu_cappuccino. Or it can be tested with fusesoc and mor1kx-generic running a simple hello world type program.
The text was updated successfully, but these errors were encountered:
The
mor1kx_lsu_cappuccino
write ack logic depends on writes to the store buffer to be acked.If we disable the store buffer acks are not returned and the system does not run.
This can be tested using
mor1k_lsu_cappuccino
formal via editing mor1k_lsu_cappuccino.sby to disable the store buffer and runmake -C bench/formal mor1k_lsu_cappuccino
. Or it can be tested with fusesoc andmor1kx-generic
running a simple hello world type program.The text was updated successfully, but these errors were encountered: