diff options
| author | azidar | 2015-03-18 17:28:31 -0700 |
|---|---|---|
| committer | azidar | 2015-03-18 17:28:31 -0700 |
| commit | c61accd4f1c46fa24cf7354d6326141950d827c8 (patch) | |
| tree | 03f0d705a2e4c98e856bd4205e1d8a5ba412ce32 /TODO | |
| parent | f0b8da76b17e568bd51a95ac04e7bad6ce4232c5 (diff) | |
Finished expand accessors and lower to ground
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 28 |
1 files changed, 23 insertions, 5 deletions
@@ -1,10 +1,16 @@ TODO - Figure out how widths propogate for all updated primops - Remove letrec. Add to expressions: Register(input,en), ReadPort(mem,index,enable), WritePort(mem,index,enable) - Add bit-reduce-and etc to primops - Write pass to rename identifiers (alpha-transform) - Add partial bulk connect + Figure out how widths propogate for all updated primops (Adam) + Remove letrec. Add to expressions: Register(input,en), ReadPort(mem,index,enable), WritePort(mem,index,enable) (Patrick) + Add bit-reduce-and etc to primops (Jonathan) + Write pass to rename identifiers (alpha-transform) (Adam) + Add partial bulk connect (Scott, Stephen) + Add FIFOs to the IR (Palmer) + Registers/Memories only have data and enable fields, which can be written/read from. These are set by the front-end. This will probably have to wait (Palmer) + Multi-streams for print statements (Jack) + Consider def female node. (Patrick) + Think about supporting memories (Scott) + Update spec add new field for sequential or combinational add assertions @@ -25,3 +31,15 @@ Tests: Error if declare anything other than module in circuit Error if incorrectly assign stuff, like use = instead of := Error: Node not parsed for stmts + +Male node: +defnode n = e +==> +wire n +n := e + +Female node: +defnode n = e +==> +wire n +e := n |
