The May release of Tabby CAD Suite is now available for download.
tribufpass now supports a
-formaloption that converts inferred tri-state buffers within a module into equivalent non-tri-state logic for formal verification. It automatically adds assertions that detect multiple drivers driving the same net simultaneously. (When using tri-state I/O across modules,
tribuf -formalshould be preceded by a
- Several changes in the handling of
xvalues during formal verification. In particular, when using the Verific frontend, during the initial time step, value change expressions (
$stable) are now always computed as if the argument changed from
xto its initial value. This follows the SystemVerilog standard and ensures that any high (or low) signal starts at a step where
$fell) is true.
In other YosysHQ news
- Teodor-Dumitru Ene recently spoke about Open-Source Hardware Addition on SKY130. He has made a Yosys plugin that allows the designer to choose what algorithm to use.
- We are very happy to announce that Mullvad are sponsoring the development of the open source tools. Thanks Mullvad, and if you need a VPN, be sure to check them out!