diff options
Diffstat (limited to 'todo.txt')
| -rw-r--r-- | todo.txt | 10 |
1 files changed, 3 insertions, 7 deletions
@@ -2,7 +2,6 @@ Minor things: - add required time support - clean end-of-line markers (CR is more preferable than CR-LF) -- mysterious Mac problem - prevent node name clash between PO and internal names (i.e. [484]) - add the output of ABC version/platform in the output files - fix gcc compiler warnings @@ -31,13 +30,10 @@ synthesis - developing sequential verification combined with integrated sequential synthesis -- add hierarchical BLIF interface (for designs with black boxes) - Other great projects: -- Verilog to hierarchical BLIF (Icarus?) -- hierarchical BLIF input in ABC +- hierarchical BLIF input in ABC (output of black boxes) - high-effort logic synthesis for hard miters (cofactoring, Boolean division) - incremental retiming and sequential integration - 5-6 input AIG rewriting using new ideas @@ -48,6 +44,6 @@ Other great projects: - specialized synthesis for EXORs and large MUXes - sequential AIG rewriting -- add asserts -- add untouchables +Other: +- completely silent mode |