README

-------
Compile
-------

  ~$ ./configure --disable-shared
  ~$ make

Binary "abstractor" can be found in ./main/abstractor

---
Run
---
  
  ~$ cd main
  ~$ ./abstractor <design>.tau2017 <design>.timing <macro_name>

By running the abstractor, two libraries, "<macro_name>_top_Early.lib" and 
"<macro_name>_top_Late.lib" will be generatedy in the same folder of run. 
Each library contains only a single cell named "<macro_name>" as specified
by the contest documentation.

----------
Regression
----------

Below are the regression results we obtained from the official scripts based on
TAU2015 and TAU2016 benchmarks.
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.159302 max = 0.159544 on c1355_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.045248 max = 0.045248 on c17
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.250490 max = 0.251710 on c1908_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.416870 max = 0.416870 on c2670_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.268066 max = 0.268066 on c3540_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.000610 max = 0.060043 on c3_slack
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.246582 max = 0.244874 on c432_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.256104 max = 0.255860 on c499_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.642578 max = 0.642578 on c5315_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.270996 max = 0.271484 on c6288_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.346742 max = 0.348572 on c7552_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.225098 max = 0.225218 on c880_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.288086 max = 0.289064 on leon2_iccad_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.521486 max = 0.212891 on leon3mp_iccad_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.350098 max = 0.387694 on mgc_edit_dist_iccad_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.203125 max = 0.203126 on netcard_iccad_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.109924 max = 0.110168 on s1196_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.209962 max = 0.219970 on s1494_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.015080 max = 0.015079 on s27_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.015136 max = 0.015136 on s344_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.064622 max = 0.064622 on s349_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.112366 max = 0.112426 on s386_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.022229 max = 0.021337 on s400_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.108490 max = 0.108490 on s510_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.009705 max = 0.009705 on s526_eval
FINAL ACCURACY: 1.00000 FINAL ACCURACY: 1.00000 max = 0.354004 max = 0.390624 on vga_lcd_iccad_eval
Regression runtime: 779 seconds