12 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
eqy-nightly 1:20240620_yosys_0.42-1 0 0.00 Equivalence Checking with Yosys lethalbit 2024-06-20 00:01 (UTC)
ghdl-yosys-plugin-git r219.5b64ccf-2 1 0.00 VHDL synthesis (based on ghdl and yosys) xiretza 2023-06-11 08:56 (UTC)
lsoracle-git r358.febd1523-1 0 0.00 Logic Synthesis oracle (with yosys plugin enabled) fansp 2023-04-11 12:06 (UTC)
mcy-nightly 1:20240620_yosys_0.42-1 0 0.00 Mutation Cover with Yosys lethalbit 2024-06-20 00:01 (UTC)
netlistsvg-git 1.0.2.r10.g752549e-1 2 0.00 Draws an SVG schematic from a yosys JSON netlist thotypous 2023-06-10 04:48 (UTC)
sby-nightly 1:20240620_yosys_0.42_2_gc9e3b82-1 0 0.00 Front-end for Yosys-based formal verification flows lethalbit 2024-06-20 00:00 (UTC)
symbiyosys-git r615.c9e3b82-1 3 0.00 A front-end driver program for Yosys-based formal hardware verification flows benallard 2024-06-17 13:06 (UTC)
symbiyosys-nightly 1:5d19e46_20211125-1 0 0.00 Front-end for Yosys-based formal verification flows lethalbit 2021-11-25 00:00 (UTC)
yosys-f4pga-plugins-git 1.20230906.r3.g7c89a55-1 0 0.00 Plugins for Yosys developed as part of the F4PGA project. xiretza 2023-09-24 20:38 (UTC)
yosys-git 0.41+111.r13563.a84e4f44f-1 17 0.00 A framework for RTL synthesis thasti 2024-05-31 09:13 (UTC)
yosys-nightly 1:20240620_yosys_0.42_30_g22d8df1e7-1 1 0.00 Yosys Open SYnthesis Suite, A framework for RTL synthesis lethalbit 2024-06-20 00:00 (UTC)
yosys-uhdm-plugin 924fe98-1 0 0.00 UDHM plugin for Yosys (SystemVerilog support) ildus 2023-01-19 11:43 (UTC)

12 packages found. Page 1 of 1.