diff options
Diffstat (limited to 'notes')
| -rw-r--r-- | notes/notes.03.18.15.txt | 17 |
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=> + |