Demux Simmed, fixed treegates

2022-02-25 15:13:21 +01:00
parent 739aadbc4d
commit dbb7107da0
9 changed files with 1895 additions and 33 deletions
--- a/test/unit_tests/arbiter_2/run/test.prs
+++ b/test/unit_tests/arbiter_2/run/test.prs
@ -1,12 +0,0 @@
-= "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")