search

YosysHQ / sby

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

Add dft/data_diode example #250

Closed jix closed 9 months ago

jix commented 9 months ago

This requires YosysHQ/yosys#3961 and YosysHQ/sby#249 to work