Documentation updates

diff --git a/README b/README
index 699b83ba61162f3e1ac58e90362db44af0833ceb..9521fd6a82bf474a1bf7204a88e14d8ea2da4c6a 100644 (file)
--- a/README
+++ b/README
@@ -245,7 +245,6 @@ TODOs / Open Bugs
   - Indexed part selects
   - Multi-dimensional arrays
   - ROM modeling using "initial" blocks
-  - The "defparam <cell_name>.<parameter_name> = <value>;" syntax
   - Built-in primitive gates (and, nand, cmos, nmos, pmos, etc..)
   - Ignore what needs to be ignored (e.g. drive and charge strengths)
   - Check standard vs. implementation to identify missing features
@@ -255,11 +254,9 @@ TODOs / Open Bugs
   - Actually use range information on parameters
   - Add brief source code documentation to most passes and kernel code
   - Implement mux-to-tribuf pass and rebalance mixed mux/tribuf trees
-  - Add 'edit' command for changing the design (delete, add, modify objects)
-  - Improve TCL support and add 'list' command for inspecting the design from TCL
+  - Add edit commands for changing the design (delete, add, modify objects)
+  - Improve TCL support (add mechanism for inspecting the design from TCL)
   - Additional internal cell types: $pla and $lut
   - Support for registering designs (as collection of modules) to CellTypes
   - Smarter resource sharing pass (add MUXes and get rid of duplicated cells)
-  - For pass' "fsm_detect" help: add notes what criteria lets it detect an FSM
-  - Better FSM state encoding