Support for Formal Verification Guide in SymbiYosys?

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Other

406 stars 75 forks source link

Support for Formal Verification Guide in SymbiYosys? #309

Open EPTansuo opened 1 week ago

EPTansuo commented 1 week ago

Does SymbiYosys support .svf or .vsdc files, known as formal verification guides, to accelerate verification processes? I couldn't find related information in the documentation.

Additionally, if SymbiYosys does not support this feature, I am currently seeking an open-source software that does. Any recommendations or plans for future support would be greatly appreciated.

KrystalDelusion commented 1 week ago

There is no support for those file types in SBY