A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
-
Updated
Jun 14, 2023 - Dockerfile
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.
Low-level Rust bindings for the Boolector SMT solver
Unofficial nextpnr WebAssembly packages
A VIM plugin that adds support for the BTOR2 word-level model checking format
High-level type-safe Rust bindings for the Boolector SMT solver
Add a description, image, and links to the boolector topic page so that developers can more easily learn about it.
To associate your repository with the boolector topic, visit your repo's landing page and select "manage topics."