started demuxtd

2022-02-28 09:46:26 +01:00
parent b94715b6d9
commit 705adcfc87
3 changed files with 88 additions and 65 deletions
--- a/test/unit_tests/arbiter_2/run/test.prs
+++ b/test/unit_tests/arbiter_2/run/test.prs
@ -0,0 +1,12 @@
+= "GND" "GND"
+= "Vdd" "Vdd"
+= "Reset" "Reset"
+"a.a"&"a._v"->"a._u"-
+~"a.a"|~"a._v"->"a._u"+
+"a.b"&"a._u"->"a._v"-
+~"a.b"|~"a._u"->"a._v"+
+"a._u"->"a.u"-
+~("a._u")->"a.u"+
+"a._v"->"a.v"-
+~("a._v")->"a.v"+
+mk_excllo("a._u","a._v")