Stat card: your yosys stat -json as a card and a README badge

Paste yosys stat -json: LUT, FF, DSP and BRAM counts, the top module and the yosys version on a 1200x630 card plus a README badge SVG. Read in your browser.

A file you open here is read by your browser only: it is never uploaded. The page sets no cookie and sends nothing anywhere.

Where the numbers come from

Yosys 0.67+post (git sha1 b8e7da6f40ae8f552c116bf6c359b07c6533e159), run once by scripts/widget-data/stat-card.mjs: nice -n 10 yosys -q -p "read_verilog fpga/openxc7-synth/lm_head_matvec.v; synth_xilinx -flatten -top lm_head_matvec; tee -q -o stat.json stat -json"
gHashTag/trinity fpga/openxc7-synth/lm_head_matvec.v (sha256 749f9a8ba8fee582...) and fpga/weights/lm_head_weights.mem (sha256 03402649d7959c99...), copied to a scratch directory with the same relative paths
public/widgets/stat-card/sample.stat.json: the yosys output, byte for byte; sample.json: command, yosys -V line, exit code, seconds and both input sha256
public/widgets/stat-card/statparse.js: the one parser and badge writer, run in node for the sample and in the browser for your file; card.png is drawn from sample.json by scripts/widget-data/stat-card-card.py
node scripts/widget-data/stat-card.mjs --check: re-reads sample.stat.json and fails if any K_SAMPLE_ fact in this spec disagrees

This widget's .t27 source · All widgets