What has been checked, and when

Every design put through the open flow, newest set first. Mine are listed alongside other people's on purpose: two of mine failed a check that all three of theirs passed, and hiding that would make the rest worth less.

DesignWhoseTop moduleChecksRun
Quantum Brain HOLOGRAPHICminett_um_qbrain_holo5/52026-08-11
Quantum Brain MINIminett_um_qbrain_mini5/52026-08-11
TRI-1 Eulerminett_um_ghtag_trinity_gf165/52026-08-11
TRI-1 Gammaminett_um_trinity_max_true5/52026-08-11
TRI-1 Phiminett_um_trinity_nano5/52026-08-11
Float synththird partytt_um_float_synth_nikleberg5/52026-08-11
SERDESthird partytt_um_serdes5/52026-08-11
SERV RISC-V SoC on Wishbonethird partytt_um_divadnauj_GB_serv_soc_wb5/52026-08-11
Stochastic neuronthird partytt_um_santhosh_stoch_neuron5/52026-08-11
TinyGPU v2third partytt_um_pongsagon_tinygpu_v25/52026-08-11

Toolchain for every row above: Yosys 0.65 (git sha1 aec814bdf3071f7e0fd0fbe43f7f711e99d01e24) · Icarus Verilog 13.0 (stable, v13_0)

What a passing row does not establish