Alan Mishchenko
|
24f2a120f2
|
Changes to be able to compile ABC without CUDD.
|
2015-08-24 21:09:50 -07:00 |
|
Alan Mishchenko
|
eb699bbaf8
|
Changes to be able to compile ABC without CUDD.
|
2015-08-24 21:09:43 -07:00 |
|
Alan Mishchenko
|
9ef96ae8a6
|
Changes to be able to compile ABC without CUDD.
|
2015-08-24 20:55:07 -07:00 |
|
Alan Mishchenko
|
99e3e3bc7e
|
Changes to be able to compile ABC without CUDD.
|
2015-08-24 20:21:30 -07:00 |
|
Alan Mishchenko
|
77d64787e0
|
Changes to be able to compile ABC without CUDD.
|
2015-08-24 19:49:18 -07:00 |
|
Alan Mishchenko
|
1fffe8f6f3
|
New switch in 'read_lib' to replace gate/pin names by short strings.
|
2015-08-24 18:07:10 -07:00 |
|
Alan Mishchenko
|
5bf0f86450
|
New switch in 'read_lib' to replace gate/pin names by short strings.
|
2015-08-24 17:40:20 -07:00 |
|
Alan Mishchenko
|
73bfe00f82
|
Compiler warning.
|
2015-08-23 20:58:07 -07:00 |
|
Alan Mishchenko
|
27b8e541bb
|
Merging recent changes.
|
2015-08-23 20:52:33 -07:00 |
|
Alan Mishchenko
|
0e4561ab9f
|
Experiments with mapping plus small changes.
|
2015-08-23 20:38:55 -07:00 |
|
Alan Mishchenko
|
8ad2061669
|
New command 'isonpn'.
|
2015-08-11 14:07:04 -07:00 |
|
Alan Mishchenko
|
6ae4ddec00
|
New command 'isonpn'.
|
2015-08-11 08:04:25 -07:00 |
|
Alan Mishchenko
|
033203b7bd
|
Improvements to Cba data-structure.
|
2015-08-10 13:26:37 -07:00 |
|
Alan Mishchenko
|
46fbad869e
|
Commenting out an assertion.
|
2015-08-10 11:43:28 -07:00 |
|
Alan Mishchenko
|
a14e2c921f
|
Improvements to Cba data-structure.
|
2015-08-09 22:46:40 -07:00 |
|
Alan Mishchenko
|
8a30b675b5
|
Improvements to Cba data-structure.
|
2015-08-09 17:19:22 -07:00 |
|
Alan Mishchenko
|
6a4e94e74d
|
Improvements to Cba data-structure.
|
2015-08-09 13:18:22 -07:00 |
|
Alan Mishchenko
|
356217eff7
|
Improvements to Cba data-structure.
|
2015-08-08 18:47:42 -07:00 |
|
Alan Mishchenko
|
f039799b75
|
Fix for v_rams_20b and fix for 'write_rb' set/reset only input port allowed
|
2015-08-07 19:32:58 -07:00 |
|
Alan Mishchenko
|
3206a7fc10
|
Compiler warnings.
|
2015-08-04 21:10:48 -07:00 |
|
Alan Mishchenko
|
9de8a0b346
|
Improvements to Cba data-structure.
|
2015-08-04 21:02:23 -07:00 |
|
Alan Mishchenko
|
ea3133e3a4
|
Making ABC error out instead of crashing when non-standard range is given.
|
2015-08-03 16:24:10 -07:00 |
|
Alan Mishchenko
|
b29cda081a
|
Improvements to Cba data-structure.
|
2015-08-01 16:59:42 -07:00 |
|
Alan Mishchenko
|
f6a7f695c0
|
Improvements to Cba data-structure.
|
2015-07-31 20:47:09 -07:00 |
|
Alan Mishchenko
|
bab71101ec
|
Improvements to Cba data-structure.
|
2015-07-29 23:13:39 -07:00 |
|
Alan Mishchenko
|
7f7b7671b0
|
Improvements to Cba data-structure.
|
2015-07-28 17:17:32 -07:00 |
|
Alan Mishchenko
|
0806dd227c
|
Updates to the Cba data-structure.
|
2015-07-25 19:34:28 -07:00 |
|
Alan Mishchenko
|
e0630f83f5
|
Updates to Cba data-structure.
|
2015-07-24 12:26:24 -07:00 |
|
Alan Mishchenko
|
e9be6ecaf8
|
Updates to Cba data-structure.
|
2015-07-23 21:33:52 -07:00 |
|
Alan Mishchenko
|
9bd16029f1
|
Renaming Cba into Bac.
|
2015-07-21 17:59:07 -07:00 |
|
Alan Mishchenko
|
ae46690b06
|
Renaming Cba into Bac.
|
2015-07-21 17:58:23 -07:00 |
|
Alan Mishchenko
|
6f13e63182
|
Renaming Cba into Bac.
|
2015-07-21 17:57:19 -07:00 |
|
Alan Mishchenko
|
8b1d1dc86b
|
Renaming Cba into Bac.
|
2015-07-21 17:55:33 -07:00 |
|
Alan Mishchenko
|
e365a8e615
|
Renaming Cba into Bac.
|
2015-07-21 17:53:56 -07:00 |
|
Alan Mishchenko
|
08bff52a6a
|
Renaming Cba into Bac.
|
2015-07-21 17:52:38 -07:00 |
|
Alan Mishchenko
|
91b62b3bb8
|
Renaming Cba into Bac.
|
2015-07-21 17:51:28 -07:00 |
|
Alan Mishchenko
|
477ecc172f
|
Renaming Cba into Bac.
|
2015-07-21 17:42:49 -07:00 |
|
Alan Mishchenko
|
ddda9320ac
|
Adding new GIA duplication API.
|
2015-07-21 11:52:15 -07:00 |
|
Alan Mishchenko
|
d332e670a2
|
Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling printout of AND2 in '%ps -d'.
|
2015-07-16 17:37:48 -07:00 |
|
Alan Mishchenko
|
0aab93566a
|
Do not add reset logic to un-initialized flops without fanout.
|
2015-07-16 15:36:22 -07:00 |
|
Alan Mishchenko
|
3a321133af
|
Clarifying 'cec' and 'dsec' usage message.
|
2015-07-16 15:20:27 -07:00 |
|
Alan Mishchenko
|
f54a139c8a
|
Verilog benchmark generation code.
|
2015-07-15 00:21:26 -07:00 |
|
Alan Mishchenko
|
e37bd1fb64
|
Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator (@).
|
2015-07-14 19:55:05 -07:00 |
|
Alan Mishchenko
|
92b85b16a2
|
Improved bit-blasting of adders and multipliers in Wlc_Ntk_t.
|
2015-07-13 17:46:01 -07:00 |
|
Alan Mishchenko
|
6fa0784abe
|
Print-out for char arrays.
|
2015-07-12 20:39:36 -07:00 |
|
Alan Mishchenko
|
2cb6908fc6
|
Print-out for char arrays.
|
2015-07-12 20:37:57 -07:00 |
|
Alan Mishchenko
|
772eaa6345
|
Assertion fail after 'print_supp -w'.
|
2015-07-11 21:26:34 -07:00 |
|
Alan Mishchenko
|
494ca7156c
|
Compiler warning.
|
2015-07-11 19:32:26 -07:00 |
|
Alan Mishchenko
|
0d09071f14
|
Adding new Python API 'is_func_iso2'.
|
2015-07-11 19:30:52 -07:00 |
|
Alan Mishchenko
|
b949436f4c
|
Adding new Python API 'is_func_iso'.
|
2015-07-11 16:49:06 -07:00 |
|