summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaIf.c
Commit message (Collapse)AuthorAgeFilesLines
...
* Deriving AIG after cell mapping.Alan Mishchenko2014-10-031-0/+29
|
* Bug fix in transferring timing info.Alan Mishchenko2014-09-091-1/+1
|
* Improvements to DSD balancing.Alan Mishchenko2014-08-271-5/+5
|
* Adding commands to save/load best network.Alan Mishchenko2014-08-261-2/+56
|
* Improvements to the timing manager.Alan Mishchenko2014-08-251-5/+1
|
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-251-42/+58
|
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-251-3/+6
|
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-201-19/+9
|
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-081-0/+32
|
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-211-0/+26
|
* Updates and changes to several packages.Alan Mishchenko2014-07-201-9/+12
|
* Small changes in several packages.Alan Mishchenko2014-07-181-1/+1
|
* Small changes in several packages.Alan Mishchenko2014-07-171-2/+3
|
* Small changes in several packages.Alan Mishchenko2014-07-171-1/+52
|
* Experiment with SOP balancing.Alan Mishchenko2014-07-021-1/+20
|
* Improvements to representation of choices.Alan Mishchenko2014-07-011-4/+4
|
* Adding a feature to collapse hierarhical AIGs.Alan Mishchenko2014-06-051-1/+6
|
* Correcting switching activity computation.Alan Mishchenko2014-06-051-9/+1
|
* 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-191-3/+3
|
* 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-191-2/+6
|
* 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-021-3/+8
|
* Improving cut computation.Alan Mishchenko2014-03-301-1/+1
|
* 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-091-4/+3
|
* 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-061-3/+3
|
* Changes to LUT mappers.Alan Mishchenko2014-03-041-2/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-03-041-20/+100
|
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-10/+2
|
* Improving switching activity computation.Alan Mishchenko2013-12-261-0/+11
|
* Structural mapper into structures.Alan Mishchenko2013-11-241-2/+2
|
* Structural mapper into structures.Alan Mishchenko2013-11-121-0/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 06:37:09 +0000