eq8__seed
ACCEPT481 blocks, 16 inputs, 1 outputs, 37 components, critical path 7 rt, settle 8 ticks. Layout file
circuits/eq8/seed.rsl.ACCEPT. Proved equal to the spec for all 65,536 inputs; proof 497.1 KB, checked by cake_lpr, lrat-check, rup_check.
Other layouts of this circuit: mutants__no_bus_repeater_0 mutants__no_output_torch mutants__no_side_repeater_5 mutants__xor_compare_mode_4
Drag to rotate, right-drag to pan, scroll to zoom, click a block to inspect it. Block textures: Pixel Perfection by XSSheep, CC BY-SA 4.0. The strengths shown are the model's (0 to 15).