Add SBC circuit (subtract with borrow) - 160 tensors, 131072/131072 tests pass

neural_computer.safetensors

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

tensors.txt

@@ -1,5 +1,5 @@
 # Tensor Manifest
-# Total: 3504 tensors
+# Total: 3664 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]
@@ -2265,6 +2265,166 @@ 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.sbc8bit.fa0.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa0.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa0.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa0.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa0.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa0.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa0.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa0.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa0.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa0.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa0.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa0.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa0.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa0.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa0.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa0.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa0.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa0.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa1.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa1.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa1.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa1.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa1.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa1.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa1.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa1.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa1.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa1.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa1.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa1.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa1.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa1.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa1.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa1.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa1.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa1.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa2.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa2.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa2.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa2.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa2.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa2.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa2.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa2.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa2.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa2.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa2.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa2.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa2.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa2.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa2.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa2.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa2.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa2.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa3.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa3.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa3.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa3.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa3.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa3.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa3.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa3.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa3.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa3.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa3.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa3.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa3.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa3.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa3.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa3.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa3.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa3.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa4.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa4.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa4.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa4.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa4.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa4.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa4.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa4.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa4.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa4.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa4.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa4.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa4.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa4.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa4.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa4.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa4.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa4.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa5.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa5.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa5.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa5.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa5.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa5.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa5.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa5.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa5.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa5.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa5.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa5.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa5.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa5.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa5.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa5.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa5.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa5.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa6.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa6.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa6.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa6.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa6.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa6.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa6.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa6.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa6.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa6.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa6.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa6.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa6.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa6.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa6.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa6.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa6.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa6.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa7.and1.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa7.and1.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa7.and2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa7.and2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa7.or_carry.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa7.or_carry.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa7.xor1.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa7.xor1.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa7.xor1.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa7.xor1.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa7.xor1.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa7.xor1.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa7.xor2.layer1.nand.bias: shape=[1], values=[1.0]
+arithmetic.sbc8bit.fa7.xor2.layer1.nand.weight: shape=[2], values=[-1.0, -1.0]
+arithmetic.sbc8bit.fa7.xor2.layer1.or.bias: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.fa7.xor2.layer1.or.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.fa7.xor2.layer2.bias: shape=[1], values=[-2.0]
+arithmetic.sbc8bit.fa7.xor2.layer2.weight: shape=[2], values=[1.0, 1.0]
+arithmetic.sbc8bit.notb0.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb0.weight: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.notb1.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb1.weight: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.notb2.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb2.weight: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.notb3.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb3.weight: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.notb4.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb4.weight: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.notb5.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb5.weight: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.notb6.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb6.weight: shape=[1], values=[-1.0]
+arithmetic.sbc8bit.notb7.bias: shape=[1], values=[0.0]
+arithmetic.sbc8bit.notb7.weight: shape=[1], values=[-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]

todo.md

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