Do the blocks of a carry-select adder share a + b independently when every chain gets its own operand order?

research/chip-abc-orderblocks

Tests whether carry-select blocks share a+b independently under mixed per-chain operand orders: the set of sharing blocks predicts Yosys's adder count in 400 of 400 random variants and fixes the cells x depth score (8 sets, one score each per ABC script); the cost is not additive across blocks (stylised, Yosys 0.33).

10 tests

What it found

A follow-up to chip-abc-orderpass, which only ran uniform orders. 400 random mixed variants of a 16-bit carry-select adder (each of the 7 a + b + const chains in its own random operand order; all proved equivalent to the reference) are scored under three ABC scripts. The set of blocks whose two chains both start with a, b predicts the Yosys adder count after opt in 400 of 400 variants and fixes the cells × depth: all 8 possible sets occurred, and each had exactly one score per script. The effect is not additive: sharing only block 1 costs 1.38× under dch_map, only block 3 costs 1.00×. Stylised: one adder, Yosys 0.33, a generic-gate library, no place and route.

A figure from its own output

Figure produced by research/chip-abc-orderblocks: orderblocks — chip-abc-orderblocks/experiments/orderblocks.svg, written by the project's own experiment code.

Paper, code and results

More in LLM chip design loops

Which Yosys pass makes the operand order of a + b + constant change the synthesised adder?Finds the Yosys pass behind chip-abc-order's operand-order effect: opt_merge shares a+b between the two carry-select sums only when both are written with a and b first (4 of 36 operand orders); removing it widens the spread (up to 3.2×), so it was hiding variation. One adder, stylised.
Does letting Yosys share a common a + b make adders smaller under every ABC script?Tests whether letting Yosys share a common a + b shrinks adders: fewer cells in 54 of 55 design/script pairs but often deeper; stylised, Yosys 0.33.
Does writing the shared a + b sum of a carry-select adder explicitly change what Yosys and ABC synthesise?Writing the shared a + b sum of a carry-select adder by hand (explicitly, or as an incrementer) gives the same netlist Yosys already finds; attaching the constant to b first defeats the sharing and is 17-22% smaller under ABC's optimising scripts (stylised, Yosys 0.33).
Does a rewritten adder or multiplier still beat the reference once the ABC script is allowed to vary?Re-scores the chip-ppa-loop rewrites and sweep under five ABC scripts with every mapped netlist proved equivalent: the adder rewrite gain survives (0.80–0.86× the reference per script) but the multiplier's whole gain is the script (stylised, generic-gate).
Does an equivalence-gated rewrite loop beat a parameter sweep on popcount, leading-zero count and absolute difference?Equivalence-gated rewrites of 16-bit popcount, 16-bit leading-zero count and 8-bit |a−b| against a no-model sweep: popcount 0.98×, |a−b| 0.86×, but on leading-zero count the sweep (0.56×) beats the session-written rewrites (0.80×) in 168 of 200 equal-budget draws (stylised, gate counts).
Does the rewrite-versus-sweep verdict for a 16-bit leading-zero count survive five ABC scripts?Re-scores chip-ppa-logic's popcount, leading-zero-count and |a−b| candidates under five ABC scripts with every mapped netlist proved equivalent: the clz16 sweep-versus-rewrite verdict flips with the script (best 0.35× the reference); stylised, generic gates.

All 40 LLM chip design loops projects →

Other research topics

Proper scoring & elicitation28 Effort & peer prediction9 Verification games & slashing19 Detection & tolerances14 Markets as routers13 Prediction-market design9 Paying contributors8 Decentralised training systems23 Digital twins & sim-to-real164 LLM chip design loops40 Robot manufacturing loops53 Ambient AI assistant46 Self-replicating manufacturing34 Simulation-first design64 Engineered clothing45 Task-specific AI accelerators40 Algorithmic chip-design loops42 Open-source purpose-built robots44 The software-engineering loop43 Adversarial human imitation41 Open-source residential construction41 Autonomous multi-angle capture34 Sensing, imaging and 3D31 Energy supply and dense energy storage39 Robot societies among people31 Agentic co-design of low-cost robots27 Laundry-hanging robots25 Machine learning on qualitative data23 Robots on the building site27 Civilizations & group psychology1 History & human sciences1

Produced with AI assistance (Claude). Results are from the code in this repository and are simulated or stylised unless the abstract says otherwise; nothing here implies affiliation with or endorsement by any lab, researcher or company cited. MIT licensed.