YosysHQ/nerv

Stall behavior

Opened this issue · 0 comments

clairexen commented

more information to add later, but fsvtb formal properties have exposed and issue with stall-on and memory access