summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSatLut.c
Commit message (Collapse)AuthorAgeFilesLines
* Invalidate packing after mapping is updated.Alan Mishchenko2016-05-091-0/+1
|
* Extending &satlut to work for 6-LUTs.Alan Mishchenko2016-04-271-4/+11
|
* Supporting edge information during mapping.Alan Mishchenko2016-04-111-1/+1
|
* Adding hashing of windows in &satlut.Alan Mishchenko2016-04-071-3/+19
|
* Adding AIG rehashing after LUT mapping in Gia.Alan Mishchenko2016-04-071-4/+6
|
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-17/+44
|
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-11/+86
|
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-83/+92
|
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-106/+203
|
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-150/+249
|
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-18/+68
|
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-031-31/+230
|
* Windowing for technology mapping.Alan Mishchenko2016-03-301-79/+152
|
* Adding support for a different bit-blasting of a multiplier and squarer.Alan Mishchenko2016-02-131-0/+570