Add HALT circuit - 42 tensors, 24576/24576 tests pass
Browse files- neural_computer.safetensors +2 -2
- tensors.txt +43 -1
- todo.md +1 -1
neural_computer.safetensors
CHANGED
|
@@ -1,3 +1,3 @@
|
|
| 1 |
version https://git-lfs.github.com/spec/v1
|
| 2 |
-
oid sha256:
|
| 3 |
-
size
|
|
|
|
| 1 |
version https://git-lfs.github.com/spec/v1
|
| 2 |
+
oid sha256:7c1a8b089563359bb305ebb5586620f0ea128ae2efbb6fab60b0de049fbb0144
|
| 3 |
+
size 659380
|
tensors.txt
CHANGED
|
@@ -1,5 +1,5 @@
|
|
| 1 |
# Tensor Manifest
|
| 2 |
-
# Total:
|
| 3 |
|
| 4 |
alu.alu8bit.add.bias: shape=[1], values=[0.0]
|
| 5 |
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]
|
|
@@ -4937,6 +4937,48 @@ control.conditionaljump.bit7.not_sel.bias: shape=[1], values=[0.0]
|
|
| 4937 |
control.conditionaljump.bit7.not_sel.weight: shape=[1], values=[-1.0]
|
| 4938 |
control.conditionaljump.bit7.or.bias: shape=[1], values=[-1.0]
|
| 4939 |
control.conditionaljump.bit7.or.weight: shape=[2], values=[1.0, 1.0]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 4940 |
control.jc.bit0.and_a.bias: shape=[1], values=[-2.0]
|
| 4941 |
control.jc.bit0.and_a.weight: shape=[2], values=[1.0, 1.0]
|
| 4942 |
control.jc.bit0.and_b.bias: shape=[1], values=[-2.0]
|
|
|
|
| 1 |
# Tensor Manifest
|
| 2 |
+
# Total: 5944 tensors
|
| 3 |
|
| 4 |
alu.alu8bit.add.bias: shape=[1], values=[0.0]
|
| 5 |
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]
|
|
|
|
| 4937 |
control.conditionaljump.bit7.not_sel.weight: shape=[1], values=[-1.0]
|
| 4938 |
control.conditionaljump.bit7.or.bias: shape=[1], values=[-1.0]
|
| 4939 |
control.conditionaljump.bit7.or.weight: shape=[2], values=[1.0, 1.0]
|
| 4940 |
+
control.halt.flag_c.bias: shape=[1], values=[-0.5]
|
| 4941 |
+
control.halt.flag_c.weight: shape=[1], values=[1.0]
|
| 4942 |
+
control.halt.flag_n.bias: shape=[1], values=[-0.5]
|
| 4943 |
+
control.halt.flag_n.weight: shape=[1], values=[1.0]
|
| 4944 |
+
control.halt.flag_v.bias: shape=[1], values=[-0.5]
|
| 4945 |
+
control.halt.flag_v.weight: shape=[1], values=[1.0]
|
| 4946 |
+
control.halt.flag_z.bias: shape=[1], values=[-0.5]
|
| 4947 |
+
control.halt.flag_z.weight: shape=[1], values=[1.0]
|
| 4948 |
+
control.halt.pc.bit0.bias: shape=[1], values=[-0.5]
|
| 4949 |
+
control.halt.pc.bit0.weight: shape=[1], values=[1.0]
|
| 4950 |
+
control.halt.pc.bit1.bias: shape=[1], values=[-0.5]
|
| 4951 |
+
control.halt.pc.bit1.weight: shape=[1], values=[1.0]
|
| 4952 |
+
control.halt.pc.bit2.bias: shape=[1], values=[-0.5]
|
| 4953 |
+
control.halt.pc.bit2.weight: shape=[1], values=[1.0]
|
| 4954 |
+
control.halt.pc.bit3.bias: shape=[1], values=[-0.5]
|
| 4955 |
+
control.halt.pc.bit3.weight: shape=[1], values=[1.0]
|
| 4956 |
+
control.halt.pc.bit4.bias: shape=[1], values=[-0.5]
|
| 4957 |
+
control.halt.pc.bit4.weight: shape=[1], values=[1.0]
|
| 4958 |
+
control.halt.pc.bit5.bias: shape=[1], values=[-0.5]
|
| 4959 |
+
control.halt.pc.bit5.weight: shape=[1], values=[1.0]
|
| 4960 |
+
control.halt.pc.bit6.bias: shape=[1], values=[-0.5]
|
| 4961 |
+
control.halt.pc.bit6.weight: shape=[1], values=[1.0]
|
| 4962 |
+
control.halt.pc.bit7.bias: shape=[1], values=[-0.5]
|
| 4963 |
+
control.halt.pc.bit7.weight: shape=[1], values=[1.0]
|
| 4964 |
+
control.halt.signal.bias: shape=[1], values=[-0.5]
|
| 4965 |
+
control.halt.signal.weight: shape=[1], values=[1.0]
|
| 4966 |
+
control.halt.value.bit0.bias: shape=[1], values=[-0.5]
|
| 4967 |
+
control.halt.value.bit0.weight: shape=[1], values=[1.0]
|
| 4968 |
+
control.halt.value.bit1.bias: shape=[1], values=[-0.5]
|
| 4969 |
+
control.halt.value.bit1.weight: shape=[1], values=[1.0]
|
| 4970 |
+
control.halt.value.bit2.bias: shape=[1], values=[-0.5]
|
| 4971 |
+
control.halt.value.bit2.weight: shape=[1], values=[1.0]
|
| 4972 |
+
control.halt.value.bit3.bias: shape=[1], values=[-0.5]
|
| 4973 |
+
control.halt.value.bit3.weight: shape=[1], values=[1.0]
|
| 4974 |
+
control.halt.value.bit4.bias: shape=[1], values=[-0.5]
|
| 4975 |
+
control.halt.value.bit4.weight: shape=[1], values=[1.0]
|
| 4976 |
+
control.halt.value.bit5.bias: shape=[1], values=[-0.5]
|
| 4977 |
+
control.halt.value.bit5.weight: shape=[1], values=[1.0]
|
| 4978 |
+
control.halt.value.bit6.bias: shape=[1], values=[-0.5]
|
| 4979 |
+
control.halt.value.bit6.weight: shape=[1], values=[1.0]
|
| 4980 |
+
control.halt.value.bit7.bias: shape=[1], values=[-0.5]
|
| 4981 |
+
control.halt.value.bit7.weight: shape=[1], values=[1.0]
|
| 4982 |
control.jc.bit0.and_a.bias: shape=[1], values=[-2.0]
|
| 4983 |
control.jc.bit0.and_a.weight: shape=[2], values=[1.0, 1.0]
|
| 4984 |
control.jc.bit0.and_b.bias: shape=[1], values=[-2.0]
|
todo.md
CHANGED
|
@@ -37,6 +37,6 @@
|
|
| 37 |
| Interrupt Vector Table | Jump addresses | Missing |
|
| 38 |
| Interrupt Enable Flag | Global IE bit | Missing |
|
| 39 |
| I/O Ports | IN/OUT data path | Missing |
|
| 40 |
-
| HALT | Stop execution |
|
| 41 |
| NOP | No operation | DONE - 24 tensors, 4096/4096 tests pass |
|
| 42 |
| Watchdog Timer | Reset on timeout | Missing |
|
|
|
|
| 37 |
| Interrupt Vector Table | Jump addresses | Missing |
|
| 38 |
| Interrupt Enable Flag | Global IE bit | Missing |
|
| 39 |
| I/O Ports | IN/OUT data path | Missing |
|
| 40 |
+
| HALT | Stop execution | DONE - 42 tensors, 24576/24576 tests pass |
|
| 41 |
| NOP | No operation | DONE - 24 tensors, 4096/4096 tests pass |
|
| 42 |
| Watchdog Timer | Reset on timeout | Missing |
|