summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Experiments with mapping.Alan Mishchenko2014-03-221-15/+15
|
* Experiments with mapping.Alan Mishchenko2014-03-222-9/+16
|
* Experiments with mapping.Alan Mishchenko2014-03-224-349/+961
|
* Experiments with recent ideas.Alan Mishchenko2014-03-201-6/+14
|
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+39
|
* Experiments with recent ideas.Alan Mishchenko2014-03-192-0/+2
|
* Experiments with simulation.Alan Mishchenko2014-03-142-5/+17
|
* Improvement to stats print-out in &ps.Alan Mishchenko2014-03-091-0/+1
|
* Bug fix in creating packing after mapping.Alan Mishchenko2014-03-091-3/+3
|
* Passing file name for stats print-out in &ps.Alan Mishchenko2014-03-093-7/+6
|
* Changes to LUT mappers.Alan Mishchenko2014-03-091-1/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-03-091-1/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-03-081-2/+2
|
* Changes to LUT mappers.Alan Mishchenko2014-03-061-3/+3
|
* Changes to LUT mappers.Alan Mishchenko2014-03-041-2/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-03-041-20/+100
|
* g++ compiler errors.Alan Mishchenko2014-02-251-1/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-02-191-23/+2
|
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-10/+2
|
* Improving switching activity computation.Alan Mishchenko2013-12-264-27/+26
|
* New command &write_cnf.Alan Mishchenko2013-12-182-2/+29
|
* Bug fix in &b when reference counters are given.Alan Mishchenko2013-11-301-0/+1
|
* Structural mapper into structures.Alan Mishchenko2013-11-261-39/+50
|
* Structural mapper into structures.Alan Mishchenko2013-11-242-77/+128
|
* Propagating initial PI level during balancing.Alan Mishchenko2013-11-151-0/+45
|