summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Expand)AuthorAgeFilesLines
* Updates and bug fixes.Alan Mishchenko2014-06-151-0/+13
* Updates and bug fixes.Alan Mishchenko2014-06-153-1/+7
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-142-7/+18
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-143-4/+5
* Various modifications.Alan Mishchenko2014-06-131-1/+2
* Various modifications.Alan Mishchenko2014-06-127-69/+77
* Enabling switching activity.Alan Mishchenko2014-06-121-0/+1
* Integrating recent changes.Alan Mishchenko2014-06-123-9/+18
* Various modifications.Alan Mishchenko2014-06-101-0/+61
* Various modifications.Alan Mishchenko2014-06-104-3/+56
* Adding a feature to collapse hierarhical AIGs.Alan Mishchenko2014-06-051-1/+6
* Correcting switching activity computation.Alan Mishchenko2014-06-052-15/+11
* Adding CEC command &splitprove.Alan Mishchenko2014-06-042-0/+95
* Adding CEC command &splitprove.Alan Mishchenko2014-06-043-7/+12
* Adding CEC command &splitprove.Alan Mishchenko2014-06-022-3/+3
* Code to explore cofactors of CEC problems.Alan Mishchenko2014-06-022-6/+6
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-292-0/+48
* Experiment with new idea for ISO.Alan Mishchenko2014-05-212-0/+236
* Bug fix in the sweeper.Alan Mishchenko2014-05-101-0/+3
* Bug fix in the sweeper.Alan Mishchenko2014-05-061-0/+2
* Exploration of MFFCs.Alan Mishchenko2014-04-263-0/+216
* Adding color to sizing stats.Alan Mishchenko2014-04-191-0/+7
* Added optimization for average rather than maximum delay.Alan Mishchenko2014-04-191-4/+0
* Added structural hashing by default after if -g and &if -g.Alan Mishchenko2014-04-191-2/+3
* Adding color to mapping stats.Alan Mishchenko2014-04-192-3/+20
* Adding color to mapping stats.Alan Mishchenko2014-04-191-3/+27
* Improvements to DSD balancing.Alan Mishchenko2014-04-191-0/+2
* Adding print-out of average level.Alan Mishchenko2014-04-193-3/+19
* New feature to optimize delay during mapping.Alan Mishchenko2014-04-111-1/+2
* Improvements to DSD in technology mapping.Alan Mishchenko2014-04-111-1/+2
* New feature to optimize delay during mapping.Alan Mishchenko2014-04-111-4/+6
* Correcting internal check.Alan Mishchenko2014-04-111-1/+2
* Removed obsolete code for sequential mapping.Alan Mishchenko2014-04-111-1/+0
* Improvements to DSD in technology mapping.Alan Mishchenko2014-04-111-2/+2
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-54/+2
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-6/+11
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-4/+57
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-4/+6
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+2
* Improvements to technology mapping.Alan Mishchenko2014-04-022-4/+9
* Adding switch to handle only single faults.Alan Mishchenko2014-04-012-3/+3
* Improving cut computation.Alan Mishchenko2014-03-303-20/+4
* Experiments with technology mapping.Alan Mishchenko2014-03-292-13/+213
* Ternary simulation for multi-output miters.Alan Mishchenko2014-03-281-0/+54
* Experiments with mapping.Alan Mishchenko2014-03-231-1/+1
* Experiments with mapping.Alan Mishchenko2014-03-232-16/+18
* Experiments with mapping.Alan Mishchenko2014-03-221-15/+21
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+17
* Experiments with mapping.Alan Mishchenko2014-03-221-30/+193
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 19:01:51 +0000