Add SUB circuit (subtraction) - 162 tensors, 65536/65536 tests pass

neural_computer.safetensors

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

tensors.txt

@@ -1,5 +1,5 @@
 # Tensor Manifest
-# Total: 3198 tensors
+# Total: 3360 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]
@@ -2121,6 +2121,168 @@ arithmetic.ripplecarry8bit.fa7.ha2.sum.layer1.or.bias: shape=[1], values=[-1.0]
 arithmetic.ripplecarry8bit.fa7.ha2.sum.layer1.or.weight: shape=[2], values=[1.0, 1.0]
 arithmetic.ripplecarry8bit.fa7.ha2.sum.layer2.bias: shape=[1], values=[-2.0]
 arithmetic.ripplecarry8bit.fa7.ha2.sum.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.carry_in.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.carry_in.weight: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa0.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa0.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa0.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa0.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa0.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa0.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa0.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa0.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa0.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa0.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa0.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa0.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa0.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa0.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa0.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa0.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa0.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa0.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa1.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa1.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa1.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa1.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa1.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa1.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa1.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa1.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa1.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa1.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa1.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa1.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa1.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa1.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa1.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa1.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa1.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa1.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa2.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa2.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa2.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa2.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa2.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa2.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa2.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa2.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa2.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa2.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa2.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa2.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa2.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa2.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa2.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa2.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa2.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa2.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa3.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa3.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa3.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa3.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa3.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa3.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa3.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa3.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa3.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa3.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa3.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa3.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa3.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa3.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa3.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa3.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa3.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa3.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa4.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa4.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa4.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa4.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa4.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa4.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa4.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa4.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa4.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa4.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa4.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa4.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa4.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa4.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa4.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa4.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa4.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa4.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa5.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa5.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa5.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa5.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa5.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa5.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa5.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa5.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa5.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa5.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa5.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa5.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa5.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa5.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa5.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa5.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa5.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa5.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa6.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa6.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa6.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa6.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa6.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa6.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa6.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa6.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa6.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa6.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa6.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa6.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa6.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa6.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa6.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa6.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa6.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa6.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa7.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa7.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa7.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa7.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa7.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa7.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa7.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa7.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa7.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa7.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa7.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa7.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa7.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sub8bit.fa7.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sub8bit.fa7.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sub8bit.fa7.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.fa7.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sub8bit.fa7.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sub8bit.notb0.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb0.weight: shape=[1], values=[-1.0]
+arithmetic.sub8bit.notb1.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb1.weight: shape=[1], values=[-1.0]
+arithmetic.sub8bit.notb2.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb2.weight: shape=[1], values=[-1.0]
+arithmetic.sub8bit.notb3.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb3.weight: shape=[1], values=[-1.0]
+arithmetic.sub8bit.notb4.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb4.weight: shape=[1], values=[-1.0]
+arithmetic.sub8bit.notb5.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb5.weight: shape=[1], values=[-1.0]
+arithmetic.sub8bit.notb6.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb6.weight: shape=[1], values=[-1.0]
+arithmetic.sub8bit.notb7.bias: shape=[1], values=[0.0]
+arithmetic.sub8bit.notb7.weight: shape=[1], values=[-1.0]
 boolean.and.bias: shape=[1], values=[-2.0]
 boolean.and.weight: shape=[2], values=[1.0, 1.0]
 boolean.biimplies.layer1.neuron1.bias: shape=[1], values=[0.0]

todo.md

@@ -4,7 +4,7 @@
 
 | Component               | Description                 | Status                         |
 |-------------------------|-----------------------------|--------------------------------|
-| SUB                     | Subtraction circuit         | Missing - need NOT(B)+1+A path |
+| SUB                     | Subtraction circuit         | DONE - 162 tensors, 65536/65536 tests pass |
 | DIV                     | Division circuit            | Missing                        |
 | NEG                     | Two's complement negate     | DONE - 76 tensors, 256/256 tests pass |
 | Program Counter         | PC register + increment     | Missing                        |