nx_multsynth.nx

nx_multsynth.nx -- GATE-LEVEL search space #1: synthesize a MULTIPLIER from gates (the Vedic / array-multiplier domain). A 2x2 bit-multiplier's four output bits are each a 4-input boolean function; the team finds the minimal circuit for each and verifies it EXACTLY over all 16 input combinations (the truth-table-as-bitmask trick at 4 inputs: columns a0=0xAAAA, a1=0xCCCC, b0=0xF0F0, b1=0xFF00 -> a program's 16-bit output IS its truth table). This is where exhaustive gate-level search competes with hardware multiplier designs (Urdhva Tiryagbhyam etc.) -- the team's bits-up substrate, feeding the ALU upward. license_tier: ORIGINAL