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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.56-1

%DESC%
A framework for RTL synthesis

%CSIZE%
22965851

%ISIZE%
113403032

%MD5SUM%
d1e45d3d3de8a09e0b1cf9d68999e20f

%SHA256SUM%
dcb694ccf52e9b28b8a03b7e1c5cfd718293014dc76bda40edc90c102f5fce21

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmmy6hAACgkQeGxj8zDXy5JLPw//VxpXwFnaA+IsHcsqInFIDXveWAQCSu0tYK8YFmJUIVfIF3xdsvYt0IBawu0xIOX39UM/cVRCjqEs8olcIl6z2V/ljSlfI7Hfj5vCfN3XfjD+EQVRSTAgc0MRJt5bbpYjjjSCMAqWrvqtBXWN1xHW/AWsdT00dYtnzNKuACRilk/BEOJUv8otKuNh2chO+RZ1BhF3Rsqi9M4+OLzfsEtilv9fIChYnHoJd4BlT10tRFKSaZVWKCYHgwr/TT/cdvyRZJulIvnZPWeVpuQ4BruYsO86H5OPyOYsYm6agFRCHtn6Yc+uuHILuatnRXn1Y9jPGP4Zc0OSyEKGvoipGHrFguQ+41PiJA5/4uo2sTxMEsUUy+PSMe5U4xbF5R2zV5WgaTmKMtubbTTBXM3wmK2Bt0V4vrug8yVt186BLljNK2jx6L3xijOwlJ4Goenm15iFEwlv4UoGSXUZJRVq7VmxaNlVix/uqBUWWTFJSKnQXMsEt2m4V9+WspYkMywP6SxNjGkPKvyoiHmmi91Nx2Xv5GVQYAaKv9NTMJB+vNW+wkvYZzagJHS04kmmDdJQKAeiY4WjlTGPBuJ24Yb5K0chlD0THidKg52EmqfViLzv26ctkaI2cpwZ/67nfqEOQxqRqJUir7morWs2Il6rrQbktxn0ipAmt2dz79xqWBBZGNA=

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

%LICENSE%
ISC

%ARCH%
x86_64

%BUILDDATE%
1773332711

%PACKAGER%
Felix Yan <felixonmars@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

