From 612132bf95b529d2fafbe96e622f716ca9514679 Mon Sep 17 00:00:00 2001
From: azidar
Date: Wed, 25 Mar 2015 12:56:29 -0700
Subject: Correctly do when expansion, minus enables and outputting lowered
 form

---
 notes/notes.03.18.15.txt | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'notes')

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=>
+
 
 
 
-- 
cgit v1.2.3