diff options
Diffstat (limited to 'todo.txt')
-rw-r--r-- | todo.txt | 20 |
1 files changed, 5 insertions, 15 deletions
@@ -1,28 +1,18 @@ Minor things: - add required time support - - clean end-of-line markers (CR is more preferable than CR-LF) - -- mysterious Mac problem (fixed?) -- mysterious Solaris problem (fixed) - -- QR's compilation problems - +- 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 - -- update CVS regularly - +- add the output of ABC version/platform in the output files +- fix gcc compiler warnings Major things: - substantially improving performance of FRAIGing (used in equivalence checking and lossless synthesis) -- developing a new (much more efficient and faster) AIG rewriting package +- developing a new (more efficient and faster) AIG rewriting package - implementing additional rewriting options for delay optimization @@ -31,7 +21,7 @@ on-demand cut computation currenlty available as a stand-alone command "cut" - experimenting with yield-aware standard-cell mapping -- developing a hybrid mapper for arbitrary programmable macrocell +- developing a mapper for arbitrary programmable macrocell architecture specified using a configuration file (this mapper should work for both cell-evalution and mainstream FPGA mapping) |