mul2__seed
ACCEPT504 blocks, 4 inputs, 4 outputs, 44 components, critical path 13 rt, settle 15 ticks. Layout file
circuits/mul2/seed.rsl.ACCEPT. Proved equal to the spec for all 16 inputs; proof 565.6 KB, checked by cake_lpr, lrat-check, rup_check.
Other layouts of this circuit: mutants__and_compare_mode mutants__no_and_side_repeater mutants__no_carry_repeater mutants__no_crossing_landing
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).