| import torch
|
| from safetensors.torch import save_file
|
|
|
| weights = {}
|
|
|
|
|
|
|
|
|
|
|
| def add_neuron(name, w_list, bias):
|
| weights[f'{name}.weight'] = torch.tensor([w_list], dtype=torch.float32)
|
| weights[f'{name}.bias'] = torch.tensor([bias], dtype=torch.float32)
|
|
|
|
|
|
|
|
|
| add_neuron('mode_hold', [-1.0]*4 + [0.0]*6 + [-1.0, -1.0], 1.0)
|
| add_neuron('mode_shr', [-1.0]*4 + [0.0]*6 + [-1.0, 1.0], 0.0)
|
| add_neuron('mode_shl', [-1.0]*4 + [0.0]*6 + [1.0, -1.0], 0.0)
|
| add_neuron('mode_load', [-1.0]*4 + [0.0]*6 + [1.0, 1.0], -1.0)
|
|
|
| save_file(weights, 'model.safetensors')
|
|
|
| def universal_sr(q3, q2, q1, q0, p3, p2, p1, p0, sl, sr, s1, s0):
|
| mode = s1 * 2 + s0
|
| if mode == 0:
|
| return q3, q2, q1, q0
|
| elif mode == 1:
|
| return sr, q3, q2, q1
|
| elif mode == 2:
|
| return q2, q1, q0, sl
|
| else:
|
| return p3, p2, p1, p0
|
|
|
| print("Verifying 4-bit universal shift register...")
|
| errors = 0
|
| test_count = 0
|
| for q in range(16):
|
| for mode in range(4):
|
| s1, s0 = mode >> 1, mode & 1
|
| q3, q2, q1, q0 = (q>>3)&1, (q>>2)&1, (q>>1)&1, q&1
|
| for p in [0, 5, 10, 15]:
|
| for sl in [0, 1]:
|
| for sr in [0, 1]:
|
| p3, p2, p1, p0 = (p>>3)&1, (p>>2)&1, (p>>1)&1, p&1
|
| n3, n2, n1, n0 = universal_sr(q3, q2, q1, q0, p3, p2, p1, p0, sl, sr, s1, s0)
|
| result = n3*8 + n2*4 + n1*2 + n0
|
|
|
| if mode == 0:
|
| expected = q
|
| elif mode == 1:
|
| expected = (sr << 3) | (q >> 1)
|
| elif mode == 2:
|
| expected = ((q << 1) | sl) & 0xF
|
| else:
|
| expected = p
|
|
|
| if result != expected:
|
| errors += 1
|
| if errors <= 3:
|
| print(f"ERROR: mode={mode}, Q={q:04b}")
|
| test_count += 1
|
|
|
| if errors == 0:
|
| print(f"All {test_count} test cases passed!")
|
| else:
|
| print(f"FAILED: {errors} errors")
|
|
|
| mag = sum(t.abs().sum().item() for t in weights.values())
|
| print(f"Magnitude: {mag:.0f}")
|
| print(f"Parameters: {sum(t.numel() for t in weights.values())}")
|
|
|