diff options
Diffstat (limited to 'todo.txt')
-rw-r--r-- | todo.txt | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/todo.txt b/todo.txt deleted file mode 100644 index 29ce10dd..00000000 --- a/todo.txt +++ /dev/null @@ -1,20 +0,0 @@ -- required time support -- printing ABC version/platform in the output files -- improve AIG rewriting package -- high-effort logic synthesis for hard miters (cofactoring, Boolean division) -- SAT solver with linear constraints -- specialized synthesis for EXORs and large MUXes -- parser for Verilog netlists - -- required time based on all cuts -- comparing tts of differently derived the same cut -- area flow based AIG rewriting -- cut frontier adjustment - -- box-aware dch, lcorr, and scorr with optional deboxing -- mfs with boxes -- power-aware mapping -- full support of required times - - - |