yosys-abc
Framework for Verilog RTL synthesis
RUN apt-get update && \
apt-get install -y yosys
RUN apt-get update && \
apt-get install -y yosys
RUN pacman -S --noconfirm yosys
RUN apt-get update && \
apt-get install -y yosys
RUN dnf install -y yosys
RUN apt-get update && \
apt-get install -y yosys