%FILENAME%
yosys-0.54-1-x86_64.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.54-1

%DESC%
A framework for RTL synthesis

%CSIZE%
22490038

%ISIZE%
111220175

%SHA256SUM%
4da0ecc51f1920719ac17e41867feab30317cefe6bba53d2d71666f84a91f123

%PGPSIG%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmhNr3wACgkQek52CV2KUuR9Zgf7BM9KcujPMGnWNWhmmzyUTNro9fELoZEoRABhtLKaxSnbm5+we50ddovtXpw0+yWjdtuASBhXfwTRr9iDG+ORkdz/z3UnpuE4hiOMQlTNeKZwJsjhmgAU/uF7OGEfBCc1NrsNDfHRo9P2UkD0rESZqxIN20/OPCY8c7JWnP75+vrA4fpSbUdED2x4g/HfuB4b3TvteJgPhw3Lpn3keHVcT/SU7gXR7key83dAVVo3jOSjuWusK/H8xftTvXzas+7EbMEwAphdfbh26D5bFSp8U4gRQw6JRcwmhApVnk3uXaHdA2aD70j+SLwJ4Z9Yi+xrQ3Pd2/CECiclCpqT895iDg==

%URL%
https://yosyshq.net/yosys/

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1749921188

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
abc
bash
boost-libs
tcl
libffi
python
protobuf

%OPTDEPENDS%
graphviz: Schematics display support
xdot: Display netlists
yices: default solver for yosys-smtbmc
cvc4: alternative solver for yosys-smtbmc
z3: alternative solver for yosys-smtbmc

%MAKEDEPENDS%
boost
git

%CHECKDEPENDS%
iverilog
gtkwave

