The April release of Tabby CAD Suite is now available for download.
simcommand now allows co-simulation with stimulus values from aiger and btor2 witness files as well as traces in VCD or FST format.
- Co-simulation of designs with multiple clock domains was improved.
--keep-goingoption was added to the smtbmc engine. With this option, the solver will continue to check the remaining properties even after an assertion fails. To use it, add the option between the engine and the solver in the
[engines] smtbmc --keep-going boolector
The JUnit report produced by sby will now list the status individually for each property when the engine supports it (currently only with smtbmc).
In other YosysHQ news
- We just welcomed 3 new people to the team; Jannis, Lofty and Krystine. They’ll be helping us to improve the formal and FPGA tooling, and improve our documentation.
- If you don’t already follow us on twitter - we post as YosysHQ. Whitequark just had a great ‘ask me anything’ on digital logic.
- As a small company, we really appreciate being recommended to people - please let us know if you have any leads!