summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Changing default values.Alan Mishchenko2013-09-304-8/+109
|
* Changing default values.Alan Mishchenko2013-09-303-21/+37
|
* Changing default values.Alan Mishchenko2013-09-302-15/+22
|
* Improvements to truth table computation.Alan Mishchenko2013-09-302-59/+74
|
* New logic sharing extraction.Alan Mishchenko2013-09-298-72/+578
|
* Updating logic extraction.Alan Mishchenko2013-09-291-2/+3
|
* Updating logic extraction.Alan Mishchenko2013-09-291-11/+58
|
* Changing default values.Alan Mishchenko2013-09-293-3/+17
|
* Changing default values.Alan Mishchenko2013-09-291-1/+1
|
* Changing default values.Alan Mishchenko2013-09-291-1/+1
|
* Changing default values.Alan Mishchenko2013-09-282-4/+10
|
* Changing default values.Alan Mishchenko2013-09-284-29/+29
|
* Improving printouts in sharing extraction.Alan Mishchenko2013-09-286-17/+25
|
* New logic sharing extraction.Alan Mishchenko2013-09-284-72/+110
|
* New logic sharing extraction.Alan Mishchenko2013-09-286-76/+622
|
* Checking decomposability of 5-input functions.Alan Mishchenko2013-09-281-1/+157
|
* Performance balancing command &b.Alan Mishchenko2013-09-278-17/+430
|
* Performance improvements in GIA package.Alan Mishchenko2013-09-274-10/+43
|
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-272-1/+2
|
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-277-6/+319
|
* Bug fix.Alan Mishchenko2013-09-271-1/+1
|
* Code to test AIG generation for DSD structures.Alan Mishchenko2013-09-271-0/+31
|
* Changed printf to Abc_Print in giaMan.cNiklas Een2013-09-271-44/+43
|
* Fixed a bug in Bridge modeNiklas Een2013-09-271-2/+15
|
* New logic sharing extraction.Alan Mishchenko2013-09-263-276/+652
|
* 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
|
* Compiler warnings.Alan Mishchenko2013-09-251-2/+2
|
* Compiler warnings.Alan Mishchenko2013-09-251-2/+10
|
* 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-252-9/+79
|
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-255-6/+178
|
* Fixing printouts in 'bmc3'.Alan Mishchenko2013-09-251-58/+58
|
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-256-9/+179
|
* Changing switch -R <num> in &gla to mean the max allowed size of ↵Alan Mishchenko2013-09-233-12/+25
| | | | abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.
* Experiments with exact matching into LUT structures.Alan Mishchenko2013-09-233-4/+121
|
* Adding API to return the mapped network.Alan Mishchenko2013-09-222-3/+8
|
* Adding API to return the mapped network.Alan Mishchenko2013-09-222-2/+160
|
* Adding resource limit to stop &gla when the number of remaining objects is ↵Alan Mishchenko2013-09-211-1/+1
| | | | less than R/2 during refinement.
* Adding resource limit to stop &gla when the number of remaining objects is ↵Alan Mishchenko2013-09-211-0/+8
| | | | less than R/2 during refinement.
* Buf fix in Liberty parser.Alan Mishchenko2013-09-191-1/+1
|
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-8/+5
|
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-173-0/+14
|
* Integrating input driving cell constraint into buffering/sizing.Alan Mishchenko2013-09-174-3/+26
|
* Debugging and finetuning the flow.Alan Mishchenko2013-09-176-65/+91
|
* Debugging and finetuning the flow.Alan Mishchenko2013-09-171-1/+1
|
* Debugging and finetuning the flow.Alan Mishchenko2013-09-176-22/+62
|
* Adding commands to set and print timing constraints.Alan Mishchenko2013-09-178-38/+217
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 18:37:18 +0000