summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
* Updates to the mapper.Alan Mishchenko2013-09-261-2/+12
|
* Updates to the mapper.Alan Mishchenko2013-09-261-3/+7
|
* Extending the mapper to handle up to 2^24 functional classes.Alan Mishchenko2013-09-251-8/+8
|
* Fixing the large MFFC problem.Alan Mishchenko2013-09-251-8/+8
|
* Fixing the large MFFC problem.Alan Mishchenko2013-09-251-7/+34
|
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-5/+73
|
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-252-0/+166
|
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-252-0/+24
|
* Experiments with exact matching into LUT structures.Alan Mishchenko2013-09-231-4/+72
|
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-0/+12
|
* Added command &struct for profiling non-dec structures.Alan Mishchenko2013-09-132-0/+51
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-1/+6
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-12/+26
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-72/+119
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-122-38/+104
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+5
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-19/+32
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-7/+17
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-112-51/+46
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-5/+109
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-49/+26
|
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-112-0/+49
|
* Added sorting equiv classes by the index of their representatives.Alan Mishchenko2013-09-101-0/+2
|
* Moving #include to the top of the file in 'giaUtil.c'.Alan Mishchenko2013-09-101-2/+1
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-41/+102
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+102
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-19/+25
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-8/+31
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-2/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-092-38/+68
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-4/+4
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-3/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-1/+2
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-081-111/+288
|
* Improvements to the &ps.Alan Mishchenko2013-09-084-1/+44
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-3/+3
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-4/+59
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-073-3/+74
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-9/+13
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-074-18/+807
|
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-058-16/+26
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-053-1/+24
|
* Temporarily (?) undoing previous change because it is incompatible with old ↵Alan Mishchenko2013-09-051-3/+4
| | | | AIGER files generated by ABC.
* Making selecting duplication procedure creates a smaller AIG.Alan Mishchenko2013-09-051-2/+7
|
* Improved unrolling manager.Alan Mishchenko2013-09-051-2/+2
|
* Adding new line (\n) after 'c' at the beginning of the comment section in ↵Alan Mishchenko2013-08-291-1/+4
| | | | AIGER format.
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-282-0/+46
|
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-16/+6
|
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-202-0/+37
|
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-5/+5
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 10:38:39 +0000