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

Large designs take a long time to write the VCD file output #57

Open
ZipCPU opened this issue Jul 31, 2019 · 2 comments
Open

Large designs take a long time to write the VCD file output #57

ZipCPU opened this issue Jul 31, 2019 · 2 comments

Comments

@ZipCPU
Copy link
Contributor

ZipCPU commented Jul 31, 2019

I just ran the Symbiotic EDA Suite (20190416A) on a very large design. Using the boolector solver, it took 30 minutes to find the bug, and another 45 to write out the trace file.

I'll admit this isn't the most current version of SES, so if this has been updated since I can re-run on a more current version.

Test case available upon request.

Dan
@nakengelhardt
Copy link
Member

nakengelhardt commented May 22, 2020 •
edited
Loading

Was this with smtbmc boolector? Out of curiosity, can you compare with btor btormc now that #85 has landed in may release of SES? (Unless it was in induction, which isn't supported yet.)

@ZipCPU
Copy link
Contributor Author

ZipCPU commented May 22, 2020

Just tried it for the first time and ... it crashed on me. We may need to spend some time chasing that down.

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
@nakengelhardt @ZipCPU