Gatle: guess how many LUTs yosys spends on today's t27 module

A daily guessing game: one real t27 module, its Verilog compiled in your browser, six guesses at the LUT count yosys reported for it.

This page sets no cookie and sends nothing anywhere.

Where the numbers come from

public/t27/t27_compiler.wasm (sha256 bb39b9a5ca41...), run in node by scripts/widget-data/gatle.mjs on 2026-10-04: the Verilog of every vendored spec; the page recompiles the day's module in the browser and compares sha256
Yosys 0.67+post (git sha1 b8e7da6f), run 2026-10-04: read_verilog -sv; synth_xilinx -family xc7 -flatten -nodsp -top <top>; stat -json. The LUT1 to LUT6 cells are the answer
The same Yosys in the same run: synth_xilinx -family xc7 -flatten, DSPs allowed, shown beside the answer when a game ends
scripts/widget-data/gatle.mjs: public/widgets/gatle/pool.json with every rejected spec and its reason; --refilter tightened the code-size rule to the spec's, with no new yosys run