summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
...
* Bug fix in &demiter.Alan Mishchenko2016-05-161-16/+9
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-111-1/+6
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-59/+431
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-271-4/+4
* Procedure to check inductive invariant for Gia package.Alan Mishchenko2016-03-211-0/+61
* Adding switch &miter -x for XORs outputs of two word-level POs.Alan Mishchenko2016-01-061-0/+31
* Better logic cone proprocessor for 'satclp' to reduce runtime.Alan Mishchenko2015-10-251-0/+255
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-0/+2
* Fixing corner-cases in 'tempor' and in 'unfold'.Alan Mishchenko2015-09-221-0/+5
* Adding new GIA duplication API.Alan Mishchenko2015-07-211-0/+36
* Do not add reset logic to un-initialized flops without fanout.Alan Mishchenko2015-07-161-1/+6
* Bug fixing in %blast when blasting MUX coming from always-statement.Alan Mishchenko2015-07-071-0/+1
* Sequential word-level simulator for Wlc_Ntk_t (bug fix).Alan Mishchenko2015-06-051-0/+2
* Sequential word-level simulator for Wlc_Ntk_t.Alan Mishchenko2015-06-041-0/+28
* Commenting out useless assertion in choice computation.Alan Mishchenko2015-04-151-1/+1
* Bug fix in saving AIG attributes in &save and &load.Alan Mishchenko2015-03-221-0/+6
* Experiments with SAT-based cube enumeration.Alan Mishchenko2015-03-051-0/+33
* Incorrect assertion added by recent changes.Alan Mishchenko2014-12-191-1/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-111-4/+7
* New flavor of DSD-friendly 'eliminate'.Alan Mishchenko2014-12-091-1/+3
* Integrating barrier buffers.Alan Mishchenko2014-12-081-1/+1
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-1/+1
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-0/+32
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-101-0/+2
* Extending &cec to take a single-output miter (usage of switch -d has changed!).Alan Mishchenko2014-09-231-0/+25
* Adding commands to save/load best network.Alan Mishchenko2014-08-261-0/+13
* Improving print-out of 'dsd -p'.Alan Mishchenko2014-08-221-0/+35
* Improvements to false path detection.Alan Mishchenko2014-07-081-0/+39
* Improvements to representation of choices.Alan Mishchenko2014-07-011-3/+19
* Experiments with cofactoring variables.Alan Mishchenko2014-06-201-8/+49
* New tools for profiling verification miters.Alan Mishchenko2014-06-201-5/+85
* Adding support of multi-output problems in &splitprove.Alan Mishchenko2014-06-151-0/+81
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+94
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-6/+9
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-2/+2
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-021-5/+5
* Sweeper internal verification.Alan Mishchenko2013-11-011-3/+5
* Sweeper internal verification.Alan Mishchenko2013-11-011-2/+33
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-2/+28
* Sweeper return value normalization.Alan Mishchenko2013-11-011-0/+24
* Performance balancing command &b.Alan Mishchenko2013-09-271-1/+1
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-111-0/+48
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-1/+2
* Making selecting duplication procedure creates a smaller AIG.Alan Mishchenko2013-09-051-2/+7
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+45
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-16/+6
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-0/+36
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-1/+1
* Multiplexer profiling.Alan Mishchenko2013-05-271-127/+1
* Counter-example depth minimization.Alan Mishchenko2013-05-221-4/+89
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 01:29:33 +0000