 Alan Mishchenko
|
96b784ecd7
|
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
|
2013-04-18 00:05:11 -07:00 |
|
|
Alan Mishchenko
|
61ecc9c633
|
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
|
2013-04-17 23:48:58 -07:00 |
|
|
Alan Mishchenko
|
06ba3d3e6c
|
Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.
|
2013-04-17 22:18:43 -07:00 |
|
|
Alan Mishchenko
|
7808ee8e70
|
Adding parameter structure for rarity simulation.
|
2013-04-17 19:40:02 -07:00 |
|
|
Alan Mishchenko
|
9b6efa34ad
|
Bug fix in 'write_pla'.
|
2013-04-15 22:59:54 -07:00 |
|
|
Alan Mishchenko
|
45d82477b7
|
Saving network name in 'blockpo'.
|
2013-04-12 00:10:21 -07:00 |
|
|
Alan Mishchenko
|
4876f1e21c
|
Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.
|
2013-04-09 16:26:28 -07:00 |
|
|
Alan Mishchenko
|
b902b00779
|
Small changes to LMS code.
|
2013-04-01 21:41:53 -07:00 |
|
|
Alan Mishchenko
|
f99e5cd9d6
|
Shrink for 6-LUTs.
|
2013-04-01 20:21:34 -07:00 |
|
|
Alan Mishchenko
|
28f12c5f06
|
Shrink for 6-LUTs.
|
2013-04-01 19:25:21 -07:00 |
|
|
Alan Mishchenko
|
5ec77b66e1
|
Updating 'sim3' to move the design into the last rare state.
|
2013-04-01 18:41:56 -07:00 |
|
|
Alan Mishchenko
|
48fce79453
|
Updating 'sim3' to move the design into the last rare state.
|
2013-04-01 18:39:42 -07:00 |
|
|
Alan Mishchenko
|
2650f94598
|
Shrink for 6-LUTs.
|
2013-03-31 23:09:51 -07:00 |
|
|
Alan Mishchenko
|
ca7c801150
|
Improving verbose printout of 'sim3' when solving multiple outputs.
|
2013-03-30 15:15:26 -07:00 |
|
|
Alan Mishchenko
|
05ea180902
|
Compiler warnings.
|
2013-03-30 14:20:10 -07:00 |
|
|
Alan Mishchenko
|
1d4674e548
|
Compiler warnings.
|
2013-03-30 14:17:10 -07:00 |
|
|
Alan Mishchenko
|
270d36ac05
|
Improved 'trim' and added 'dropsat' to replace sat POs by constant 0.
|
2013-03-30 14:11:39 -07:00 |
|
|
Alan Mishchenko
|
5ace683835
|
Updating bmc3 printout to show the number of failed outputs.
|
2013-03-30 13:02:32 -07:00 |
|
|
Alan Mishchenko
|
cc7d3e3747
|
Added dumping QDIMACS files in command 'qbf'.
|
2013-03-28 22:21:05 -07:00 |
|
|
Alan Mishchenko
|
b7cd22786e
|
Changed to 'print_level' to be less verbose by default.
|
2013-03-28 20:09:08 -07:00 |
|
|
Alan Mishchenko
|
fdb8d83f7a
|
Adding command &miter2 to derive a specified sequential miter.
|
2013-03-28 12:30:27 -07:00 |
|
|
Alan Mishchenko
|
7a2132b237
|
Added dumping QDIMACS files in command 'qbf'.
|
2013-03-27 17:21:08 -07:00 |
|
|
Alan Mishchenko
|
272089221a
|
Removing hard-coded limit on the number of solving iterations in command 'qbf'.
|
2013-03-27 12:51:57 -07:00 |
|
|
Alan Mishchenko
|
e64cad10e2
|
Adding command &miter2 to derive a specified sequential miter.
|
2013-03-27 12:43:00 -07:00 |
|
|
Alan Mishchenko
|
17af45424f
|
Commenting out undesirable warnings/assertions.
|
2013-03-26 14:32:21 -07:00 |
|
|
Alan Mishchenko
|
bf795e57cf
|
Handling special case in 'fold' when the network is combinational.
|
2013-03-13 11:47:17 +01:00 |
|
|
Alan Mishchenko
|
1eb4059f05
|
PO partitioning algorithm.
|
2013-03-09 13:33:12 -08:00 |
|
|
Alan Mishchenko
|
eee8ceb0fa
|
PO partitioning algorithm.
|
2013-03-09 12:19:11 -08:00 |
|
|
Alan Mishchenko
|
a3bdba6875
|
Modified command 'init' to allow for specific init values.
|
2013-03-07 20:38:55 -08:00 |
|
|
Alan Mishchenko
|
1ce537e992
|
Misc changes.
|
2013-03-07 13:04:16 -08:00 |
|
|
Alan Mishchenko
|
1a6354c22f
|
Improvements to the hierarchy/timing manager.
|
2013-03-05 17:01:41 -08:00 |
|
|
Alan Mishchenko
|
dcc8907161
|
Improvements to the hierarchy/timing manager.
|
2013-03-05 16:53:18 -08:00 |
|
|
Alan Mishchenko
|
4ff5203f4c
|
Improvements to the hierarchy/timing manager.
|
2013-03-05 13:13:15 -08:00 |
|
|
Alan Mishchenko
|
0c9337f627
|
User-controlable SAT sweeper.
|
2013-03-04 00:33:36 -08:00 |
|
|
Alan Mishchenko
|
a27a7bc827
|
User-controlable SAT sweeper and other small changes.
|
2013-02-27 12:12:23 -05:00 |
|
|
Alan Mishchenko
|
69dd1337b0
|
Started PO partitioning command.
|
2013-02-24 09:27:25 -08:00 |
|
|
Alan Mishchenko
|
1c744cf10a
|
K-hot STG encoding.
|
2013-02-23 13:53:22 -08:00 |
|
|
Alan Mishchenko
|
91ca83e864
|
Adding new features to 'dualrail'.
|
2013-02-21 22:51:25 -08:00 |
|
|
Alan Mishchenko
|
dfe5f511b2
|
Adding new features to 'dualrail'.
|
2013-02-21 22:46:53 -08:00 |
|
|
Alan Mishchenko
|
dd52905fa3
|
Enabling two-timeframe property check in the interpolation procedure.
|
2013-02-21 12:10:35 -08:00 |
|
|
Alan Mishchenko
|
a82b0a8ad5
|
New command &cycle, which is faster than 'cycle'.
|
2013-02-19 23:51:13 -08:00 |
|
|
Alan Mishchenko
|
59fe3268a7
|
Adding STG generation (&era -d) and STG encoding (&read_stg <file>).
|
2013-02-19 23:07:29 -08:00 |
|
|
Alan Mishchenko
|
99a9718355
|
Integrating sweeping information.
|
2013-02-19 12:56:36 -08:00 |
|
|
Alan Mishchenko
|
baa944e6a2
|
Added 'gap timeout' to pdr.
|
2013-02-16 14:54:11 -08:00 |
|
|
Alan Mishchenko
|
fd0ff0171e
|
Added 'gap timeout' to bmc3 and sim3.
|
2013-02-15 16:47:18 -08:00 |
|
|
Alan Mishchenko
|
8866a1aa6d
|
Fixing performance problem in 'cone -s'
|
2013-02-13 19:42:11 -08:00 |
|
|
Alan Mishchenko
|
930369f36f
|
Integration of timing manager.
|
2013-02-03 18:02:22 +08:00 |
|
|
Alan Mishchenko
|
30ec58fcda
|
Added switch 'zeropo -s' to skip comb sweep after removing a PO.
|
2013-02-01 03:57:17 +07:00 |
|
|
Alan Mishchenko
|
7e598cd231
|
Fixing compilation problems on Linux-32 related to constants of type unsigned long long.
|
2013-01-30 16:15:53 +07:00 |
|
|
Alan Mishchenko
|
557448400e
|
Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current network is an AIG and the given PO has const 0/1 function.
|
2013-01-25 10:25:34 +07:00 |
|