Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 4 | -72/+110 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 7 | -76/+626 |
| | |||||
* | Checking decomposability of 5-input functions. | Alan Mishchenko | 2013-09-28 | 1 | -1/+157 |
| | |||||
* | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 9 | -17/+434 |
| | |||||
* | Performance improvements in GIA package. | Alan Mishchenko | 2013-09-27 | 4 | -10/+43 |
| | |||||
* | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 2 | -1/+2 |
| | |||||
* | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 8 | -6/+323 |
| | |||||
* | Bug fix. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 |
| | |||||
* | Code to test AIG generation for DSD structures. | Alan Mishchenko | 2013-09-27 | 1 | -0/+31 |
| | |||||
* | Changed printf to Abc_Print in giaMan.c | Niklas Een | 2013-09-27 | 1 | -44/+43 |
| | |||||
* | Fixed a bug in Bridge mode | Niklas Een | 2013-09-27 | 1 | -2/+15 |
| | |||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-26 | 4 | -281/+653 |
| | |||||
* | Updates to the mapper. | Alan Mishchenko | 2013-09-26 | 1 | -2/+12 |
| | |||||
* | Updates to the mapper. | Alan Mishchenko | 2013-09-26 | 1 | -3/+7 |
| | |||||
* | Extending the mapper to handle up to 2^24 functional classes. | Alan Mishchenko | 2013-09-25 | 1 | -8/+8 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-09-25 | 1 | -2/+2 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-09-25 | 1 | -2/+10 |
| | |||||
* | Fixing the large MFFC problem. | Alan Mishchenko | 2013-09-25 | 1 | -8/+8 |
| | |||||
* | Fixing the large MFFC problem. | Alan Mishchenko | 2013-09-25 | 1 | -7/+34 |
| | |||||
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 2 | -9/+79 |
| | |||||
* | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 6 | -6/+182 |
| | |||||
* | Fixing printouts in 'bmc3'. | Alan Mishchenko | 2013-09-25 | 1 | -58/+58 |
| | |||||
* | Changes to enable decomposition of non-DSD functions. | Alan Mishchenko | 2013-09-25 | 6 | -9/+179 |
| | |||||
* | Changing switch -R <num> in &gla to mean the max allowed size of ↵ | Alan Mishchenko | 2013-09-23 | 3 | -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 Mishchenko | 2013-09-23 | 3 | -4/+121 |
| | |||||
* | Adding API to return the mapped network. | Alan Mishchenko | 2013-09-22 | 2 | -3/+8 |
| | |||||
* | Adding API to return the mapped network. | Alan Mishchenko | 2013-09-22 | 2 | -2/+160 |
| | |||||
* | Adding resource limit to stop &gla when the number of remaining objects is ↵ | Alan Mishchenko | 2013-09-21 | 1 | -1/+1 |
| | | | | less than R/2 during refinement. | ||||
* | Adding resource limit to stop &gla when the number of remaining objects is ↵ | Alan Mishchenko | 2013-09-21 | 1 | -0/+8 |
| | | | | less than R/2 during refinement. | ||||
* | Buf fix in Liberty parser. | Alan Mishchenko | 2013-09-19 | 1 | -1/+1 |
| | |||||
* | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 1 | -8/+5 |
| | |||||
* | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 3 | -0/+14 |
| | |||||
* | Integrating input driving cell constraint into buffering/sizing. | Alan Mishchenko | 2013-09-17 | 4 | -3/+26 |
| | |||||
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 6 | -65/+91 |
| | |||||
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 1 | -1/+1 |
| | |||||
* | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 6 | -22/+62 |
| | |||||
* | Adding commands to set and print timing constraints. | Alan Mishchenko | 2013-09-17 | 8 | -38/+217 |
| | |||||
* | Compiler warning about unused variable. | Alan Mishchenko | 2013-09-17 | 1 | -2/+2 |
| | |||||
* | Unifying standard cell library representations. | Alan Mishchenko | 2013-09-17 | 13 | -105/+316 |
| | |||||
* | Changing dynamic CNF loading code to perform loading before propagate() as ↵ | Alan Mishchenko | 2013-09-16 | 1 | -0/+31 |
| | | | | opposed to when the literal first implied in enqueue(). | ||||
* | Adding switch to enable reuse of proof-obligations in the last timeframe. | Alan Mishchenko | 2013-09-16 | 3 | -2/+7 |
| | |||||
* | Adding new switch to &if to relax the delay. | Alan Mishchenko | 2013-09-16 | 3 | -9/+31 |
| | |||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 1 | -1/+1 |
| | |||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 2 | -6/+3 |
| | |||||
* | Added bridge integration for multi-output 'pdr -a'. | Alan Mishchenko | 2013-09-16 | 5 | -13/+44 |
| | |||||
* | Bug fix in PDR. | Alan Mishchenko | 2013-09-16 | 1 | -1/+1 |
| | |||||
* | Bug fix in XOR balancing. | Alan Mishchenko | 2013-09-15 | 1 | -4/+3 |
| | |||||
* | Infrastructure to support full Liberty format and unitification of library ↵ | Alan Mishchenko | 2013-09-15 | 1 | -4/+4 |
| | | | | representations. | ||||
* | Infrastructure to support full Liberty format and unitification of library ↵ | Alan Mishchenko | 2013-09-15 | 1 | -2/+4 |
| | | | | representations. | ||||
* | Infrastructure to support full Liberty format and unitification of library ↵ | Alan Mishchenko | 2013-09-15 | 14 | -618/+2244 |
| | | | | representations. |