1 package net.mograsim.logic.ui.am2900;
3 import static org.junit.jupiter.api.Assertions.fail;
5 import java.lang.reflect.Field;
6 import java.util.HashMap;
7 import java.util.HashSet;
8 import java.util.LinkedList;
9 import java.util.Objects;
10 import java.util.Queue;
12 import java.util.TreeSet;
14 import net.mograsim.logic.core.components.BitDisplay;
15 import net.mograsim.logic.core.components.ManualSwitch;
16 import net.mograsim.logic.core.timeline.Timeline;
17 import net.mograsim.logic.core.types.Bit;
18 import net.mograsim.logic.core.types.BitVector;
19 import net.mograsim.logic.core.types.BitVector.BitVectorMutator;
20 import net.mograsim.logic.ui.model.ViewModel;
21 import net.mograsim.logic.ui.model.ViewModelModifiable;
22 import net.mograsim.logic.ui.model.components.GUIBitDisplay;
23 import net.mograsim.logic.ui.model.components.GUIComponent;
24 import net.mograsim.logic.ui.model.components.GUIManualSwitch;
25 import net.mograsim.logic.ui.model.components.SubmodelComponent;
26 import net.mograsim.logic.ui.model.components.mi.nandbased.am2901.GUIAm2901;
27 import net.mograsim.logic.ui.model.wires.GUIWire;
28 import net.mograsim.logic.ui.modeladapter.LogicModelParameters;
29 import net.mograsim.logic.ui.modeladapter.ViewLogicModelAdapter;
31 public class TestableAm2901Impl implements TestableAm2901
33 private GUIAm2901 am2901;
34 private Timeline timeline;
35 private ManualSwitch I8, I7, I6, I5, I4, I3, I2, I1, I0;
36 private ManualSwitch C;
37 private ManualSwitch Cn;
38 private ManualSwitch D1, D2, D3, D4;
39 private ManualSwitch A0, A1, A2, A3;
40 private ManualSwitch B0, B1, B2, B3;
41 private ManualSwitch IRAMn, IRAMn_3, IQn, IQn_3;
42 private BitDisplay Y1, Y2, Y3, Y4;
43 private BitDisplay F_0, Cn_4, OVR, F3;
44 private BitDisplay ORAMn, ORAMn_3, OQn, OQn_3;
46 private Set<String> wireDebugChangeSet;
47 private boolean debugWires = false;
48 public int debugEventThreshold = 10_000;
49 public int debugEventCount = 500;
51 private int eventCounter;
56 // Normal execution until completion or eventLimit
57 int eventLimit = debugEventThreshold;
60 while (eventCounter < eventLimit)
62 timeline.executeNext();
63 if (!timeline.hasNext())
65 // System.out.println("run() took " + eventCounter + " events");
66 return Result.SUCCESS;
69 // Start debugging if event limit is reached
71 wireDebugChangeSet = new TreeSet<>();
72 Set<String> oldChangeSet;
73 // observe wire changes to detect, if we are really stuck in an endless loop
76 eventLimit += debugEventCount;
77 oldChangeSet = wireDebugChangeSet;
78 wireDebugChangeSet = new TreeSet<>();
79 while (eventCounter < eventLimit)
81 timeline.executeNext();
82 if (!timeline.hasNext())
84 // no endless loop, but more events needed than expected
85 System.out.println("run() took longer than expected: " + eventCounter);
86 return Result.SUCCESS;
89 } while (!oldChangeSet.equals(wireDebugChangeSet));
90 // if stuck, abort execution and print wires
91 System.err.print("Problematic Wire updates:");
92 wireDebugChangeSet.forEach(System.out::println);
93 System.err.println("run() failed: " + eventCounter);
94 return Result.OUT_OF_TIME;
97 @SuppressWarnings("unused")
102 ViewModelModifiable viewModel = new ViewModelModifiable();
103 am2901 = new GUIAm2901(viewModel);
105 HashMap<String, GUIManualSwitch> idSwitchMap = new HashMap<>();
106 for (String id : am2901.getInputPinNames())
108 GUIManualSwitch sw = new GUIManualSwitch(viewModel);
109 new GUIWire(viewModel, am2901.getPin(id), sw.getOutputPin());
110 idSwitchMap.put(id, sw);
113 HashMap<String, GUIBitDisplay> idDisplayMap = new HashMap<>();
114 for (String id : am2901.getOutputPinNames())
116 GUIBitDisplay bd = new GUIBitDisplay(viewModel);
117 // bd.addRedrawListener(() -> System.out.println(id + " " + bd.getBitDisplay().getDisplayedValue()));
118 new GUIWire(viewModel, am2901.getPin(id), bd.getInputPin());
119 idDisplayMap.put(id, bd);
121 // Create logic model
122 LogicModelParameters params = new LogicModelParameters();
123 params.gateProcessTime = 50;
124 params.wireTravelTime = 10;
125 timeline = ViewLogicModelAdapter.convert(viewModel, params);
126 // Bind switches/displays to this test class
127 for (var entry : idSwitchMap.entrySet())
128 setField(entry.getKey().replaceAll("\\+|=", "_"), entry.getValue().getManualSwitch());
129 for (var entry : idDisplayMap.entrySet())
130 setField(entry.getKey().replaceAll("\\+|=", "_"), entry.getValue().getBitDisplay());
133 HashSet<GUIWire> wiresIncludingSubmodels = new HashSet<>();
134 Queue<ViewModel> modelsToIterate = new LinkedList<>();
135 modelsToIterate.add(viewModel);
136 while (modelsToIterate.size() > 0)
138 ViewModel model = modelsToIterate.poll();
139 wiresIncludingSubmodels.addAll(model.getWires());
140 for (GUIComponent comp : model.getComponents())
141 if (comp instanceof SubmodelComponent)
142 modelsToIterate.offer(((SubmodelComponent) comp).submodel);
144 wiresIncludingSubmodels.forEach(w -> w.addRedrawListener(() ->
148 wireDebugChangeSet.add(w.toString());
151 timeline.addEventAddedListener(te -> eventCounter++);
155 public void setDest(Am2901_Dest dest)
157 var bits = of(dest.ordinal(), 3);
158 I8.setToValueOf(bits.getBit(0));
159 I7.setToValueOf(bits.getBit(1));
160 I6.setToValueOf(bits.getBit(2));
164 public void setFunc(Am2901_Func func)
166 var bits = of(func.ordinal(), 3);
167 I5.setToValueOf(bits.getBit(0));
168 I4.setToValueOf(bits.getBit(1));
169 I3.setToValueOf(bits.getBit(2));
173 public void setSrc(Am2901_Src src)
175 var bits = of(src.ordinal(), 3);
176 I2.setToValueOf(bits.getBit(0));
177 I1.setToValueOf(bits.getBit(1));
178 I0.setToValueOf(bits.getBit(2));
182 public void setReg_A(String val_4_bit)
184 var bits = BitVector.parse(val_4_bit);
185 A3.setToValueOf(bits.getBit(0));
186 A2.setToValueOf(bits.getBit(1));
187 A1.setToValueOf(bits.getBit(2));
188 A0.setToValueOf(bits.getBit(3));
192 public void setReg_B(String val_4_bit)
194 var bits = BitVector.parse(val_4_bit);
195 B3.setToValueOf(bits.getBit(0));
196 B2.setToValueOf(bits.getBit(1));
197 B1.setToValueOf(bits.getBit(2));
198 B0.setToValueOf(bits.getBit(3));
202 public void setCarryIn(String val_1_bit)
204 Cn.setToValueOf(Bit.parse(val_1_bit));
208 public void setNotOutEnable(String val_1_bit)
210 throw new UnsupportedOperationException(); // TODO
214 public void setD(String val_4_bit)
216 var bits = BitVector.parse(val_4_bit);
217 D4.setToValueOf(bits.getBit(0));
218 D3.setToValueOf(bits.getBit(1));
219 D2.setToValueOf(bits.getBit(2));
220 D1.setToValueOf(bits.getBit(3));
224 public void setQ_0(String val_1_bit)
226 IQn.setToValueOf(Bit.parse(val_1_bit));
230 public void setQ_3(String val_1_bit)
232 IQn_3.setToValueOf(Bit.parse(val_1_bit));
236 public void setRAM_0(String val_1_bit)
238 IRAMn.setToValueOf(Bit.parse(val_1_bit));
242 public void setRAM_3(String val_1_bit)
244 IRAMn_3.setToValueOf(Bit.parse(val_1_bit));
248 public void clockOn(boolean isClockOn)
250 C.setState(isClockOn);
254 public String getQ_0()
256 return OQn.getDisplayedValue().toString();
260 public String getQ_3()
262 return OQn_3.getDisplayedValue().toString();
266 public String getRAM_0()
268 return ORAMn.getDisplayedValue().toString();
272 public String getRAM_3()
274 return ORAMn_3.getDisplayedValue().toString();
278 public String getNotP()
280 throw new UnsupportedOperationException(); // TODO
284 public String getNotG()
286 throw new UnsupportedOperationException(); // TODO
290 public String getCarryOut()
292 return Cn_4.getDisplayedValue().toString();
296 public String getSign()
298 return F3.getDisplayedValue().toString();
302 public String getZero()
304 return F_0.getDisplayedValue().toString();
308 public String getOverflow()
310 return OVR.getDisplayedValue().toString();
316 var y3 = Y4.getDisplayedValue();
317 var y2 = Y3.getDisplayedValue();
318 var y1 = Y2.getDisplayedValue();
319 var y0 = Y1.getDisplayedValue();
320 return y3.concat(y2).concat(y1).concat(y0).toString();
323 private void setField(String name, Object value)
327 Field f = TestableAm2901Impl.class.getDeclaredField(name);
328 f.setAccessible(true);
329 f.set(this, Objects.requireNonNull(value));
337 private static BitVector of(int value, int length)
339 BitVectorMutator mutator = BitVectorMutator.ofLength(length);
341 for (int i = length - 1; i >= 0; i--)
343 mutator.setBit(i, Bit.lastBitOf(val));
346 return mutator.toBitVector();
350 public void setDirectly(Register r, String val_4_bit)
352 am2901.setHighLevelState(regToStateID(r), BitVector.parse(val_4_bit));
356 public String getDirectly(Register r)
358 return am2901.getHighLevelState(regToStateID(r)).toString();
361 private static String regToStateID(Register r)
365 return "regs.c" + r.toBitString() + ".q";