From f912e029de64b17316c2d285bf728151e6bd6de3 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 2 Nov 2013 13:19:04 +0100 Subject: [PATCH] Added roadmap to readme file --- README | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/README b/README index 9d48f5d86..ef482b0f1 100644 --- a/README +++ b/README @@ -280,6 +280,15 @@ and after each occurrence of PRIi64 in the header file: sudo sed -i 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h +Roadmap / Large-scale TODOs +=========================== + +- Technology mapping for real-world applications (specific FPGAs and ASIC processes) +- Improve standard complience of const folding and parameters (mostly expression widths) +- Implement SAT-based formal equivialence checker based on existing SAT framework +- Re-implement Verilog frontend (cleaner AST format, pipeline of well structured AST transformations) + + TODOs / Open Bugs ================= -- 2.30.2