add12__seed

2,099 blocks, 25 inputs, 13 outputs, 180 components, critical path 28 rt, settle 28 ticks. Layout file circuits/add12/seed.rsl.

ACCEPT. Proved equal to the spec for all 33,554,432 inputs; proof 3.1 MB, checked by cake_lpr, lrat-check, rup_check.

Layer

Inputs

Tick playback is recorded for layouts with at most 6 inputs.

Outputs

output	layout	spec

Spec = the accepted seed layout of this circuit, which is proved equal to the spec file.

Block

Legend

solid blockwire, strength 15 wire, unpoweredtorch, lit lamp, litrepeater or comparator lever, onwhite dot: wire climbs a block

Other layouts of this circuit: mutants__c4_rotated_6 mutants__no_carry_repeater_6 mutants__no_generate_repeater_6 mutants__no_side_repeater_6 mutants__xor_compare_mode_6

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).