search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388 stars 73 forks source link

Fixing golden/fifo.sv #215

Closed KrystalDelusion closed 1 year ago

KrystalDelusion commented 1 year ago

Had missed a change from (non golden) fifo.sv.