Extending existing cell libraries...
Read MoreSuperfluous buffers/inverters in synthesised netlist...
Read MoreCan we have variables in a Yosys script?...
Read MoreCorrespondence between iCE40 I/O blocks and package pins...
Read MoreAnalyzing bitstreams using Icestorm...
Read MoreWhy is this MUX with const. inputs not optimised away?...
Read MoreHow do I get multi-bit ports to work in Yosys when the module is BLIF?...
Read MoreCombinatorial synthesis: Better technology mapping results...
Read MoreHow to map clock gate to tech library cell...
Read Moreprogramming iceStorm binary file to which address?...
Read MoreHow can I use iCE40 4K block RAM in 512x8 read mode with IceStorm?...
Read MoreComputed verilog parameter in Yosys...
Read MoreSome questions about wires with private name in Yosys...
Read MoreWhy does yosys renumber vector ports?...
Read MoreConditional compilation in ice40_synth using yosys?...
Read MoreYosys FSM Detection State Assignments?...
Read Moreyosys fails at ABC pass (on counter.v demo)...
Read MoreiCEstick + yosys - using the Global Set/Reset (GSR)...
Read MoreWhat are the useful attributes that can be used with passes in Yosys?...
Read MoreiCE40 IceStorm FPGA Flow: Bi-directional IO pins...
Read MoreHow to perform Depth First Search (DFS) inside a module starting from its ports?...
Read MoreHow to partition a top module into 2 sub-module using submod command?...
Read MoreHow do I get a list of unconnected cell ports using the Yosys RTLIL API?...
Read Morevisualizing yosys output not working...
Read MoreIs it possible to create a simulation waveform from yosys output...
Read MoreHow to simplify compound assignments in yosys...
Read MoreCan/does SigMap produce canonical output?...
Read MoreYosys Can't open include file...
Read More