Repository navigation
widgets: fsm-sketch -- See the FSM yosys found in your RTL #1396
Description
Part of #1377 (WIDGETS loop), from the second competitor sweep (_state/widget-loop/widget-competitors-2.md).
Idea: Drop a yosys fsm_export KISS2 file and get the state diagram yosys actually extracted, with states it did not recognise called out.
Why it may spread: yosys fsm_export and fsm_info passes; recurring state-machine debug questions
Done when: specs/widgets/fsm-sketch.t27 (KIND widget-tool, >= 2 passing tests) generates public/widgets/fsm-sketch/, the built-in sample comes from a real local yosys/nextpnr run named in DATA_SOURCES, card.png is 1200x630 from the same data, tri widget check + tri widget status show 0 problems, and the tool sits in gallery.t27.
Activity
gHashTag commentedon Oct 4, 2026
Built in the forge (not landed yet). Samples from yosys 0.67+post with
proc; opt -nodffe -nosdff; fsm_detect; fsm_extract; fsm_info; fsm_export: uart_rx.v 4 states / 14 transitions; spi_flash_master.v 7 states / 23 transitions; fsm_simple.v no FSM (yosys refuses: register has an initialization value). Found on the way: with plainoptthe uart_rx state register becomes$sdffeand fsm_detect passes over it without a message; the page has that case as a sample and says so.