Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for Formal Verification Guide in SymbiYosys? #309

Open
EPTansuo opened this issue Nov 10, 2024 · 1 comment
Open

Support for Formal Verification Guide in SymbiYosys? #309

EPTansuo opened this issue Nov 10, 2024 · 1 comment

Comments

@EPTansuo
Copy link

EPTansuo commented Nov 10, 2024 •
edited
Loading

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.
@EPTansuo EPTansuo changed the title Support for Formal Verification Guides in SymbiYosys? Support for Formal Verification Guide in SymbiYosys? Nov 10, 2024
@KrystalDelusion
Copy link
Member

There is no support for those file types in SBY

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@EPTansuo @KrystalDelusion