Alan Mishchenko
|
21d7938adc
|
Temprary changes.
|
2013-07-18 18:16:55 -07:00 |
|
Alan Mishchenko
|
db402147ba
|
New technology mapper.
|
2013-07-18 16:57:38 -07:00 |
|
Alan Mishchenko
|
9e723d40dd
|
New technology mapper.
|
2013-07-18 16:55:04 -07:00 |
|
Alan Mishchenko
|
7630f2bd86
|
Temprary changes.
|
2013-07-18 15:40:45 -07:00 |
|
Alan Mishchenko
|
a35599960b
|
New technology mapper.
|
2013-07-18 13:03:01 -07:00 |
|
Alan Mishchenko
|
4decece2c7
|
New technology mapper.
|
2013-07-18 12:20:59 -07:00 |
|
Alan Mishchenko
|
eb5c12a994
|
New technology mapper.
|
2013-07-17 22:08:24 -07:00 |
|
Alan Mishchenko
|
bbbfe0e822
|
New technology mapper.
|
2013-07-17 14:22:49 -07:00 |
|
Alan Mishchenko
|
5acfed6c24
|
New technology mapper.
|
2013-07-17 14:21:05 -07:00 |
|
Alan Mishchenko
|
10c90de054
|
New technology mapper.
|
2013-07-17 14:19:33 -07:00 |
|
Alan Mishchenko
|
d22da3aec4
|
Commenting out assertion related to choices in 'if'.
|
2013-07-16 19:17:41 -07:00 |
|
Alan Mishchenko
|
ec153508e1
|
Enabling switch -a in 'mfs2'.
|
2013-07-16 19:16:52 -07:00 |
|
Alan Mishchenko
|
fce4605f58
|
Improved printout of XOR/MUX/AND in 'print_stats'.
|
2013-07-16 16:46:37 -07:00 |
|
Alan Mishchenko
|
5f97612951
|
Imporvements to 'eliminate'.
|
2013-07-16 16:06:21 -07:00 |
|
Alan Mishchenko
|
e731d3b1f4
|
Adding another network duplicator.
|
2013-07-16 00:44:51 -07:00 |
|
Alan Mishchenko
|
fd80bf20da
|
Adding another network duplicator.
|
2013-07-16 00:34:26 -07:00 |
|
Alan Mishchenko
|
f8f37d261b
|
New technology mapper.
|
2013-07-15 15:22:05 -07:00 |
|
Alan Mishchenko
|
a06234e87a
|
New technology mapper.
|
2013-07-14 23:21:46 -07:00 |
|
Alan Mishchenko
|
dd29ca30a6
|
New technology mapper.
|
2013-07-14 23:12:05 -07:00 |
|
Alan Mishchenko
|
c0ac159888
|
New technology mapper.
|
2013-07-14 15:04:25 -07:00 |
|
Alan Mishchenko
|
b3e0f5b2e9
|
New technology mapper.
|
2013-07-13 23:40:51 -07:00 |
|
Alan Mishchenko
|
118e40b809
|
New technology mapper.
|
2013-07-13 12:20:53 -07:00 |
|
Alan Mishchenko
|
167340527b
|
New technology mapper.
|
2013-07-13 11:16:20 -07:00 |
|
Alan Mishchenko
|
4a50b09c67
|
New technology mapper.
|
2013-07-13 11:12:36 -07:00 |
|
Alan Mishchenko
|
aaa8121ede
|
New technology mapper.
|
2013-07-13 09:56:29 -07:00 |
|
Alan Mishchenko
|
2e9ab39ba1
|
New technology mapper.
|
2013-07-13 09:53:52 -07:00 |
|
Alan Mishchenko
|
1814b6742c
|
New technology mapper.
|
2013-07-13 09:52:20 -07:00 |
|
Alan Mishchenko
|
7efe9f2afd
|
New technology mapper.
|
2013-07-12 19:33:46 -07:00 |
|
Alan Mishchenko
|
634dd6d030
|
Compiler warnings.
|
2013-07-12 13:21:59 -07:00 |
|
Alan Mishchenko
|
b0bd2025c6
|
Compiler warnings.
|
2013-07-12 13:16:12 -07:00 |
|
Alan Mishchenko
|
804e0261ab
|
Compiler warnings.
|
2013-07-12 13:14:44 -07:00 |
|
Alan Mishchenko
|
4b5ffde3b7
|
Compiler warnings.
|
2013-07-12 13:07:08 -07:00 |
|
Alan Mishchenko
|
fba33fbba4
|
New technology mapper.
|
2013-07-12 13:02:32 -07:00 |
|
Alan Mishchenko
|
2ee26b00f9
|
Precomputing DSD functions.
|
2013-07-11 22:08:35 -07:00 |
|
Alan Mishchenko
|
773b1c1351
|
Precomputing DSD functions.
|
2013-07-11 00:16:22 -07:00 |
|
Alan Mishchenko
|
9d81b1f4c8
|
Fix to &era to skip synthesis and print verbose output more often.
|
2013-07-10 17:54:33 -07:00 |
|
Alan Mishchenko
|
6003e92edf
|
Bug fix in 'mfs2'.
|
2013-07-08 19:34:20 -07:00 |
|
Alan Mishchenko
|
9dfd8be577
|
Adding timeout to AIG rewriting inside 'int'.
|
2013-07-08 00:18:21 -07:00 |
|
Alan Mishchenko
|
07d3351c31
|
Adding timeout to AIG rewriting inside 'int'.
|
2013-07-07 22:37:29 -07:00 |
|
Alan Mishchenko
|
76875cd18d
|
Compiler warning.
|
2013-07-01 23:08:54 -07:00 |
|
Alan Mishchenko
|
589e2edec2
|
Compiler problem.
|
2013-07-01 23:05:57 -07:00 |
|
Alan Mishchenko
|
e7504c6dab
|
Compiler problem.
|
2013-07-01 23:03:23 -07:00 |
|
Alan Mishchenko
|
32e58b8883
|
Fixing a typo.
|
2013-07-01 22:57:28 -07:00 |
|
Alan Mishchenko
|
60bb6dbf69
|
Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and Karem Sakallah at U Michigan.
|
2013-07-01 18:06:09 -07:00 |
|
Alan Mishchenko
|
779cff2193
|
Bug fix in the timeout for 'int'.
|
2013-07-01 15:33:32 -07:00 |
|
Alan Mishchenko
|
64e2ee223b
|
Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem on some platforms.
|
2013-07-01 14:07:42 -07:00 |
|
Alan Mishchenko
|
9065da8189
|
Updating new mapper.
|
2013-06-30 19:51:24 -07:00 |
|
Alan Mishchenko
|
5a6205ecc8
|
Updating new mapper.
|
2013-06-30 17:22:02 -07:00 |
|
Alan Mishchenko
|
6ace5234e1
|
Updating new mapper.
|
2013-06-30 15:56:16 -07:00 |
|
Alan Mishchenko
|
94dfccf083
|
Updating new mapper.
|
2013-06-30 15:52:22 -07:00 |
|