Each design is constructed in a NetlistModel using the subblock engine (LDL), then compiled and verified by simulation against an independent reference. The engine handles 2ⁿ cases automatically.
Half Adder: sum = a ⊕ b, carry = a · b
Schematic (built from primitive gates)
Truth Table — 4 cases
Click "Build & Verify" to construct and simulate the half adder.
Full Adder: sum = a ⊕ b ⊕ cin, cout = (a·b) | ((a⊕b)·cin)
Built from 2 Half Adders + 1 OR gate. Every sub-block is itself a logic-designer netlist (built first, in Step 1).
Schematic
Truth Table — 8 cases
Click "Build & Verify" to construct and simulate the full adder.
N-bit Array Multiplier: AND array + (N-1) HAs + (N-1)(N-2) FAs
Built from 1× XOR, 1× AND for each HA; 2 HAs + 1 OR for each FA; and AND gates for partial products.
Architecture
Product (live)
A × B =
—
Click "Build" to construct the multiplier netlist, then "Exhaustive Sweep" to verify all input combinations.