aboutsummaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
Diffstat (limited to 'TODO')
-rw-r--r--TODO16
1 files changed, 12 insertions, 4 deletions
diff --git a/TODO b/TODO
index 46ee3536..1f95a8ad 100644
--- a/TODO
+++ b/TODO
@@ -2,12 +2,15 @@
========== ADAM's BIG ASS TODO LIST ============
================================================
-Important things:
+======== Current Tasks ========
+on-reset
+Parser
+ Error if incorrectly assign stuff, like use = instead of :=
+ Update parser and update tests
======== Update Core ==========
-Change all primops to be strict on data widths
-Update parser and update tests
on-reset
+Change all primops to be strict on data widths
Add source locaters
Add Unit Tests for each pass
@@ -28,6 +31,8 @@ Well-formed low firrtl
All things only assigned to once
======== Other Passes ========
+constant folding (partial eval) pass
+common subexpression elimination pass
======== Consultations ========
Stephen:
@@ -35,11 +40,11 @@ Stephen:
pin stephen on an example
======== Think About ========
+dlsh,drsh
naming for split nodes
subword accesses
annotation system
zero-width wires
-on-reset
expanding mems (consider changing defmem to be size, and element type)
Make instances always male, flip the bundles on declaration
Multi-streams for print statements/asserts (Jack)
@@ -72,6 +77,9 @@ Bounds checks for accessors
Overflow checks for add/add-wrap
Check combinational
Fast C++ where wires/register/instances are predicated
+Verilog backend - put stuff in posedge clock, not assign statements, for speedup
+Annotate mems with location stuff
+Coverage tests, such as statespace or specific instances (like asserts, sort of)
======== FIRRTL++ =========
Variable size FIFOs