yosys 0.38-1

Architecture: armv7h
Repository: extra
Description: A framework for RTL synthesis
Upstream URL: https://yosyshq.net/yosys/
License(s): custom:ISC
Installed Size: 49MiB
Build Date: Sat Mar 9 22:25:23 2024 UTC
Origin
Arch Linux
Package
Source Files
View Changes
Download

Dependencies

abc
bash
boost-libs
libffi
protobuf
python
tcl
cvc4 (optional) - alternative solver for yosys-smtbmc
graphviz (optional) - Schematics display support
xdot (optional) - Display netlists
yices (optional) - default solver for yosys-smtbmc
z3 (optional) - alternative solver for yosys-smtbmc

Copyright ©2009-2022 Arch Linux ARM
The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.
The Arch Linux™ name and logo are used under permission of the Arch Linux Project Lead.