summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaDup.c
Commit message (Expand)AuthorAgeFilesLines
* Updated to arithmetic verification.Alan Mishchenko2017-01-091-4/+12
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-221-13/+99
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-1/+1
* Several corner-case bugs in %read, &cec, and st.Alan Mishchenko2016-07-161-3/+12
* Removing verbose output in &cec and &syn4.Alan Mishchenko2016-07-131-1/+1
* Small changes for today's experiments.Alan Mishchenko2016-06-031-1/+1
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-2/+3
* Switch &miter -y to convert a two-word miter into a dual-output miter.Alan Mishchenko2016-05-201-0/+31
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-08 22:06:49 +0000