yosys-smtbmc

Framework for Verilog RTL synthesis

Debian Debian
RUN apt-get update && \ apt-get install -y yosys
Ubuntu
RUN apt-get update && \ apt-get install -y yosys
Arch Arch Linux
RUN pacman -S --noconfirm yosys
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y yosys
Fedora
RUN dnf install -y yosys
Raspbian
RUN apt-get update && \ apt-get install -y yosys
click the source code to copy install yosys-smtbmc on any operating system with command-not-found.com