 Alan Mishchenko
|
688f0269db
|
Bug fix in blasting shifters with large bit-width.
|
2016-06-28 09:53:09 -07:00 |
|
|
Alan Mishchenko
|
a309569390
|
New multi-output PLA reader and preprocessor (read_plamo) (updated dist-1 merge).
|
2016-06-17 22:30:54 -07:00 |
|
|
Alan Mishchenko
|
c912875261
|
New command 'phase_map'.
|
2016-06-17 20:21:39 -07:00 |
|
|
Alan Mishchenko
|
3c3a770a17
|
New multi-output PLA reader and preprocessor (read_plamo) (added dist-1 merge).
|
2016-06-16 21:09:39 -07:00 |
|
|
Alan Mishchenko
|
e06c04a3ef
|
Change to BENCH reader to read DFF with four inputs.
|
2016-06-16 16:48:45 -07:00 |
|
|
Alan Mishchenko
|
0923d543ad
|
Adding a switch 'retime -o' to use old flop naming conventions.
|
2016-06-16 16:13:13 -07:00 |
|
|
Alan Mishchenko
|
ada21a655f
|
New multi-output PLA reader and preprocessor (read_plamo).
|
2016-06-16 15:22:03 -07:00 |
|
|
Alan Mishchenko
|
e1b51d1863
|
Experiments with edge-based mapping.
|
2016-06-15 18:47:10 -07:00 |
|
|
Alan Mishchenko
|
db43d6fbd8
|
Adding switch -P <num> to command 'cover'.
|
2016-06-14 20:43:50 -07:00 |
|
|
Alan Mishchenko
|
0a1b6f8fcc
|
Detecting properties of internal nodes.
|
2016-06-14 15:37:59 -07:00 |
|
|
Alan Mishchenko
|
a18da5c878
|
Detecting properties of internal nodes.
|
2016-06-12 19:07:46 -07:00 |
|
|
Alan Mishchenko
|
699dd39035
|
Support bit-blasting of shifts with more than 32 bits (fix).
|
2016-06-08 22:25:12 -05:00 |
|
|
Alan Mishchenko
|
cad3d8d419
|
Support bit-blasting of shifts with more than 32 bits.
|
2016-06-07 15:20:38 -07:00 |
|
|
Alan Mishchenko
|
820a48b2cb
|
Changes to Wlc to accommodate signed signals in SMT-LIB.
|
2016-06-07 15:05:21 -07:00 |
|
|
Alan Mishchenko
|
4efbd7b3ca
|
Detecting properties of internal nodes.
|
2016-06-07 14:32:38 -07:00 |
|
|
Alan Mishchenko
|
31b2e8bebd
|
Switch 'fx -x' to use only canonical divisors in 'fx'.
|
2016-06-06 19:31:56 -07:00 |
|
|
Alan Mishchenko
|
00242f2fb2
|
New profiling features for word-level optimizations.
|
2016-06-04 17:31:15 -07:00 |
|
|
Alan Mishchenko
|
93c785e802
|
Small changes for today's experiments.
|
2016-06-03 13:22:24 -07:00 |
|
 Bruno Schmitt
|
fe6a647f37
|
Merged alanmi/abc into default
|
2016-06-02 20:30:04 -03:00 |
|
|
Bruno Schmitt
|
b6ab087952
|
Removing the memory saving mode, it is no longer necessary.
|
2016-06-02 17:26:12 -03:00 |
|
|
Alan Mishchenko
|
e1b32ee756
|
Silencing several messages.
|
2016-06-01 11:57:29 -07:00 |
|
|
Alan Mishchenko
|
1d26d58a17
|
Adding switch 'pdr -o' to control using property output in induction.
|
2016-05-25 13:47:38 -07:00 |
|
|
Alan Mishchenko
|
58c81ec097
|
Improving SMT-LIB parser.
|
2016-05-23 11:15:37 -07:00 |
|
|
Alan Mishchenko
|
c688d1b158
|
Improving SMT-LIB parser.
|
2016-05-23 10:42:53 -07:00 |
|
|
Alan Mishchenko
|
0f29f0aec9
|
Improving SMT-LIB parser.
|
2016-05-21 20:08:05 -07:00 |
|
|
Alan Mishchenko
|
34c5ac88d4
|
Improving SMT-LIB parser.
|
2016-05-20 20:38:43 -07:00 |
|
|
Alan Mishchenko
|
7b570b6241
|
Enabling AIGs without structural hashing (&get -c to import logic network).
|
2016-05-20 18:01:01 -07:00 |
|
|
Alan Mishchenko
|
3b62ee4575
|
Enabling AIGs without structural hashing.
|
2016-05-20 16:23:48 -07:00 |
|
|
Alan Mishchenko
|
27c44fd644
|
Switch &miter -y to convert a two-word miter into a dual-output miter.
|
2016-05-20 14:03:07 -07:00 |
|
|
Alan Mishchenko
|
555ed0b158
|
Enabling AIGs without structural hashing.
|
2016-05-20 13:50:19 -07:00 |
|
|
Alan Mishchenko
|
2ded89cca5
|
Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver.
|
2016-05-19 22:33:40 -07:00 |
|
|
Alan Mishchenko
|
2d0a8fb4cb
|
Improving SMT-LIB parser.
|
2016-05-19 22:07:52 -07:00 |
|
|
Alan Mishchenko
|
d7912acfca
|
Bug fix in &demiter.
|
2016-05-16 17:34:25 -07:00 |
|
|
Alan Mishchenko
|
8a56721494
|
Experiments with generating sat assignments.
|
2016-05-15 16:18:23 -07:00 |
|
|
Alan Mishchenko
|
be769ca3e8
|
Experiments with generating sat assignments.
|
2016-05-15 14:25:55 -07:00 |
|
|
Alan Mishchenko
|
0533fc7de9
|
Experiments with generating sat assignments.
|
2016-05-15 14:24:38 -07:00 |
|
|
Alan Mishchenko
|
4ffbd0b2df
|
Adding switch -r to &dch to prevent combo-loops.
|
2016-05-13 13:40:08 -07:00 |
|
|
Alan Mishchenko
|
5b6e5b8178
|
New command 'expand' to expand SOPs against the offset.
|
2016-05-12 22:41:20 -07:00 |
|
|
Alan Mishchenko
|
ea7d10d45d
|
Adding 'read_pla -d' to read dc-set along with on-set (useful to derive offset).
|
2016-05-12 13:59:30 -07:00 |
|
|
Alan Mishchenko
|
c5befad518
|
Cosmetic changes after incorporating new code of 'fxch'.
|
2016-05-11 20:03:13 -07:00 |
|
|
Alan Mishchenko
|
c30819cb05
|
Cosmetic changes after incorporating new code of 'fxch'.
|
2016-05-11 19:59:56 -07:00 |
|
|
Bruno Schmitt
|
3cf495c831
|
Add a new module which implements the fast extract with cube hashing (fxch) algorithm.
Removes old partial implementation of this algorithm from the "pla" module.
|
2016-05-11 19:41:31 -03:00 |
|
|
Alan Mishchenko
|
6e8efec57d
|
Experiments with CEC for arithmetic circuits.
|
2016-05-11 11:07:34 -07:00 |
|
|
Alan Mishchenko
|
652b279234
|
Experiments with CEC for arithmetic circuits.
|
2016-05-08 19:01:46 -07:00 |
|
|
Alan Mishchenko
|
236d412255
|
Experiments with CEC for arithmetic circuits.
|
2016-05-07 19:47:02 -07:00 |
|
|
Alan Mishchenko
|
40d90ae69c
|
Small changes.
|
2016-05-04 13:46:07 -07:00 |
|
|
Alan Mishchenko
|
21896ba6bc
|
Update to &show to show AIGs with XORs and MUXes (derived by &st -m).
|
2016-05-04 07:22:13 -07:00 |
|
|
Alan Mishchenko
|
28cbb280b7
|
Update to &show to show AIGs with XORs and MUXes (derived by &st -m).
|
2016-05-04 07:05:43 -07:00 |
|
|
Alan Mishchenko
|
11f1a249ae
|
Updating GIG parser.
|
2016-05-01 17:43:50 -07:00 |
|
|
Alan Mishchenko
|
a093091004
|
Fanout restriction in &edge.
|
2016-04-30 17:47:23 -07:00 |
|