From 078cecf9eaa234b868ec3a30b281217a00418d61 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 5 Feb 2014 01:59:30 +0100
Subject: Updated todo items in README file

---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'README')

diff --git a/README b/README
index ee5eb7979..385ee2c0a 100644
--- a/README
+++ b/README
@@ -308,8 +308,7 @@ Roadmap / Large-scale TODOs
    - Improve Xilinx FGPA synthesis (RAMB, CARRY4, SLR, etc.)
 
 - Implement SAT-based formal equivialence checker
-   - Rewrite freduce pass with input-cone analysis
-   - Write equiv pass, base hypothesis on input cones
+   - Write equiv pass based on hint-based register mapping
 
 - Re-implement Verilog frontend (far future)
    - cleaner (easier to use, harder to use wrong) AST format
@@ -323,6 +322,7 @@ Other Unsorted TODOs
 - Implement missing Verilog 2005 features:
 
   - Multi-dimensional arrays
+  - Support for real (float) const. expressions and parameters
   - ROM modeling using $readmemh/$readmemb in "initial" blocks
   - Ignore what needs to be ignored (e.g. drive and charge strengths)
   - Check standard vs. implementation to identify missing features
-- 
cgit v1.2.3