Add ADC circuit (add with carry) - 144 tensors, 131072/131072 tests pass

neural_computer.safetensors

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:df8eff4c1e0100e587cb723bb22597954bf2f1f511ddbf4d68d5fe159ba06c61
-size 375640
+oid sha256:1b659d80e24aada592a634cbdc34dbe4ba2ae716f7deb4a8b9d4221af90c16cd
+size 390888

tensors.txt

@@ -1,5 +1,5 @@
 # Tensor Manifest
-# Total: 3360 tensors
+# Total: 3504 tensors
 
 alu.alu8bit.add.bias: shape=[1], values=[0.0]
 alu.alu8bit.add.weight: shape=[16], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
@@ -59,6 +59,150 @@ alu.aluflags.overflow.weight: shape=[3], values=[1.0, 1.0, -1.0]
 alu.aluflags.zero.bias: shape=[1], values=[0.0]
 alu.aluflags.zero.weight: shape=[8], values=[-1.0, -1.0, -1.0, -1.0, -1.0, -1.0, -1.0, -1.0]
 arithmetic.absolutedifference8bit.diff: shape=[16], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
+arithmetic.adc8bit.fa0.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa0.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa0.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa0.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa0.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa0.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa0.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa0.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa0.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa0.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa0.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa0.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa0.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa0.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa0.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa0.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa0.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa0.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa1.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa1.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa1.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa1.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa1.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa1.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa1.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa1.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa1.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa1.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa1.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa1.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa1.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa1.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa1.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa1.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa1.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa1.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa2.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa2.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa2.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa2.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa2.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa2.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa2.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa2.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa2.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa2.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa2.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa2.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa2.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa2.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa2.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa2.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa2.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa2.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa3.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa3.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa3.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa3.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa3.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa3.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa3.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa3.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa3.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa3.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa3.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa3.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa3.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa3.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa3.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa3.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa3.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa3.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa4.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa4.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa4.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa4.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa4.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa4.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa4.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa4.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa4.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa4.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa4.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa4.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa4.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa4.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa4.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa4.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa4.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa4.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa5.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa5.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa5.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa5.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa5.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa5.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa5.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa5.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa5.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa5.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa5.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa5.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa5.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa5.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa5.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa5.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa5.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa5.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa6.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa6.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa6.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa6.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa6.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa6.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa6.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa6.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa6.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa6.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa6.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa6.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa6.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa6.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa6.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa6.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa6.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa6.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa7.and1.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa7.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa7.and2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa7.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa7.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa7.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa7.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa7.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa7.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa7.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa7.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa7.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa7.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.adc8bit.fa7.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.adc8bit.fa7.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.adc8bit.fa7.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.adc8bit.fa7.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.adc8bit.fa7.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
 arithmetic.decrementer8bit.adder: shape=[8], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
 arithmetic.decrementer8bit.neg_one: shape=[8], values=[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]
 arithmetic.equality8bit.final_and.bias: shape=[1], values=[-8.0]

todo.md

@@ -25,7 +25,7 @@
 | ROL       | Rotate left through carry            | Missing                                             |
 | ROR       | Rotate right through carry           | Missing                                             |
 | ASR       | Arithmetic shift right (sign-extend) | Missing                                             |
-| ADC       | Add with carry input                 | Missing                                             |
+| ADC       | Add with carry input                 | DONE - 144 tensors, 131072/131072 tests pass        |
 | SBC       | Subtract with borrow                 | Missing                                             |
 | CMP       | Compare (SUB without writeback)      | Missing (comparators exist but not via subtraction) |