ibex icon indicating copy to clipboard operation
ibex copied to clipboard
verified publisher icon lowRISC

[dv] Formal flow dependency

Open marnovandermaas opened this issue 3 months ago • 2 comments

We should encode the patch for yosys-slang into lowrisc-nix: https://github.com/lowRISC/ibex/pull/2309#discussion_r2362439137

marnovandermaas avatar Sep 19 '25 17:09 marnovandermaas

yosys-slang maintainer expresses interest in taking the change upstream: https://github.com/lowRISC/ibex/pull/2309#discussion_r2366297282

nbdd0121 avatar Sep 22 '25 11:09 nbdd0121

yosys-slang maintainer expresses interest in taking the change upstream: #2309 (comment)

@mndstrmr Are the changes suitable for proposing to upstream as-is? Or is there anything you would like to change / cleanup before doing so?

hcallahan-lowrisc avatar Sep 22 '25 14:09 hcallahan-lowrisc