search

YosysHQ / sby

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

Add note on docs to clarify verific support #278

Open KrystalDelusion opened 4 months ago

KrystalDelusion commented 4 months ago

Having a verific license does not provide access to the verific frontend. This helps to make that clearer.