yosys-plugin
There are 5 repositories under yosys-plugin topic.
chipsalliance/yosys-f4pga-plugins
Plugins for Yosys developed as part of the F4PGA project.
lethalbit/discretize
A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad
porglezomp/nangate
Yosys passes to syntheize to NaN gates (à la http://tom7.org/nand/)
albmoriconi/yosys-als
A design space exploration tool for approximate circuits
MuratovAS/micro-yosyslint
Verilog linting plugin for Micro editor. Checks the syntax of the Language Verilog. Based on yosys.