piwheels

nbmc

Executes Yosys BMC and renders counterexample as SVG

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install nbmc

Dependencies

• z3-solver
• yowasp-yosys
• pydigitalwavetools
• parse
• nmigen
• wavedrom

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.0.4	2020-12-18
nbmc-0.0.4-py3-none-any.whl (3 KB)
0.0.3	2020-12-18
nbmc-0.0.3-py3-none-any.whl (3 KB)
0.0.2	2020-12-16
nbmc-0.0.2-py3-none-any.whl (3 KB)
0.0.1	2020-12-16
nbmc-0.0.1-py3-none-any.whl (3 KB)
0.0.0	2020-12-16
nbmc-0.0.0-py3-none-any.whl (2 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue