Add waveform file for combinational adder for monitor

Author: ngernest

monitor/tests/adders/add_combinational.fst

@@ -0,0 +1,4 @@
+// trace 0
+trace {
+    add_combinational(100, 200, 300);
+}

monitor/tests/adders/add_combinational.out

@@ -0,0 +1,44 @@
+// ARGS: --wave adders/add_combinational.fst --instances add_d0:Adder 
+struct Adder {
+  in a: u32,
+  in b: u32,
+  out s: u32,
+}
+
+// prot add_combinational_illegal_observation_in_conditional<DUT: Adder>(in a: u32, in b: u32, out s: u32) {
+//   DUT.a := X;
+//   DUT.b := X;
+//   DUT.a := a;
+
+//   if (DUT.s == 32'b0) { // this should be illegal
+//     // pass
+//   } else {
+//     // pass
+//   }
+//   step();
+// }
+
+// prot add_combinational_illegal_observation_in_assertion<DUT: Adder>(in a: u32, in b: u32, out s: u32) {
+//   DUT.a := X;
+//   DUT.b := X;
+//   DUT.a := a;
+
+//   assert_eq(DUT.s, s); // this should be illegal
+//   step();
+// }
+
+prot add_combinational_legal_observation_illegal_assignment<DUT: Adder>(in a: u32, in b: u32, out s: u32) {
+  if (DUT.s == 32'b0) {
+    DUT.a := a; // this should be illegal
+  } else {
+
+  }
+  step();
+}
+
+prot add_combinational<DUT: Adder>(in a: u32, in b: u32, out s: u32) {
+  DUT.a := a;
+  DUT.b := b;
+  assert_eq(s, DUT.s);
+  step();
+}