Correctly do when expansion, minus enables and outputting lowered form

1 files changed, 16 insertions, 1 deletions

diff --git a/notes/notes.03.18.15.txt b/notes/notes.03.18.15.txt
index 7fdb1c3b..f9acf7f5 100644
--- a/notes/notes.03.18.15.txt
+++ b/notes/notes.03.18.15.txt
@@ -45,7 +45,22 @@ if w is a wire:
 merge {r=>x, w=>y} with {r=>x} under p : {r=>svmux(p,x,x), w=>y}
 
 if s is a reg:
-merge {r=>x,s=>y} with {r=>x} under p : {r=>svmux(p,x,x), s=>svmux(p,y,void)}
+merge {r=>x,s=>y} with {r=>x} under p : {r=>svmux(p,x,x), s=>svmux(p,y,void)} ;this is to correctly calculate the ENABLE signal! when actually calculating the input, we will reduce it
+
+wire r     {r=>VOID}
+r := x     {r=>x}
+when p     {r=>x}
+  reg s    {r=>x,s=>VOID}
+  s := y   {r=>x,s=>y}
+  wire w   {r=>x,s=>y,w=>VOID}
+  w := y   {r=>x,s=>y,w=>y}
+else 
+  emptystmt {r=>x}
+;merge table-c with table-a
+;get unique keys of table-a + table-c
+; (r,s,w)
+{r=>(p?x:x),s=>
+