From 3f4fc5e4507f7fb9df431fc116529b4c209ab97c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 7 Apr 2006 08:01:00 -0700 Subject: Version abc60407 --- todo.txt | 20 +++++--------------- 1 file changed, 5 insertions(+), 15 deletions(-) (limited to 'todo.txt') diff --git a/todo.txt b/todo.txt index a6babe69..3ac5a386 100644 --- a/todo.txt +++ b/todo.txt @@ -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) -- cgit v1.2.3