| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Resubstitution code. | Alan Mishchenko | 2013-10-06 | 1 | -0/+1 | |
| | | ||||||
| * | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -14/+23 | |
| | | ||||||
| * | Bug fix and performance improvement in &iso. | Alan Mishchenko | 2013-10-03 | 1 | -4/+8 | |
| | | ||||||
| * | Experiment with the AIG package. | Alan Mishchenko | 2013-10-03 | 1 | -2/+4 | |
| | | ||||||
| * | Integrating synthesis into the new BMC engine. | Alan Mishchenko | 2013-10-02 | 1 | -2/+7 | |
| | | ||||||
| * | Enabling counter-example generation in the new BMC engine. | Alan Mishchenko | 2013-10-02 | 1 | -1/+3 | |
| | | ||||||
| * | Changing default values. | Alan Mishchenko | 2013-10-02 | 2 | -7/+15 | |
| | | ||||||
| * | Changes in specialized matching. | Alan Mishchenko | 2013-10-02 | 1 | -1/+1 | |
| | | ||||||
| * | Changes in specialized matching. | Alan Mishchenko | 2013-10-01 | 1 | -2/+14 | |
| | | ||||||
| * | Converting mapped AIG into strashed AIG. | Alan Mishchenko | 2013-09-30 | 1 | -5/+0 | |
| | | ||||||
| * | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -7/+8 | |
| | | ||||||
| * | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -3/+53 | |
| | | ||||||
| * | Changing default values. | Alan Mishchenko | 2013-09-30 | 1 | -3/+8 | |
| | | ||||||
| * | New logic sharing extraction. | Alan Mishchenko | 2013-09-29 | 2 | -17/+103 | |
| | | ||||||
| * | Changing default values. | Alan Mishchenko | 2013-09-28 | 1 | -3/+9 | |
| | | ||||||
| * | Changing default values. | Alan Mishchenko | 2013-09-28 | 2 | -6/+6 | |
| | | ||||||
| * | Improving printouts in sharing extraction. | Alan Mishchenko | 2013-09-28 | 4 | -15/+22 | |
| | | ||||||
| * | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -3/+8 | |
| | | ||||||
| * | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -11/+21 | |
| | | ||||||
| * | Performance balancing command &b. | Alan Mishchenko | 2013-09-27 | 1 | -0/+74 | |
| | | ||||||
| * | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 | |
| | | ||||||
| * | Generation of plain AIG after mapping. | Alan Mishchenko | 2013-09-27 | 1 | -4/+7 | |
| | | ||||||
| * | Bug fix. | Alan Mishchenko | 2013-09-27 | 1 | -1/+1 | |
| | | ||||||
| * | Improving DAG-aware unmapping. | Alan Mishchenko | 2013-09-25 | 1 | -3/+5 | |
| | | ||||||
| * | Changes to enable decomposition of non-DSD functions. | Alan Mishchenko | 2013-09-25 | 1 | -1/+9 | |
| | | ||||||
| * | Changing switch -R <num> in &gla to mean the max allowed size of ↵ | Alan Mishchenko | 2013-09-23 | 1 | -3/+15 | |
| | | | | | abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_. | |||||
| * | Adding API to return the mapped network. | Alan Mishchenko | 2013-09-22 | 1 | -3/+4 | |
| | | ||||||
| * | 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. | |||||
| * | Added bridge integration for multi-output 'bmc3 -a'. | Alan Mishchenko | 2013-09-17 | 1 | -0/+1 | |
| | | ||||||
| * | Debugging and finetuning the flow. | Alan Mishchenko | 2013-09-17 | 2 | -1/+3 | |
| | | ||||||
| * | Adding commands to set and print timing constraints. | Alan Mishchenko | 2013-09-17 | 3 | -0/+14 | |
| | | ||||||
| * | Unifying standard cell library representations. | Alan Mishchenko | 2013-09-17 | 4 | -4/+17 | |
| | | ||||||
| * | Adding switch to enable reuse of proof-obligations in the last timeframe. | Alan Mishchenko | 2013-09-16 | 1 | -1/+5 | |
| | | ||||||
| * | Adding new switch to &if to relax the delay. | Alan Mishchenko | 2013-09-16 | 1 | -2/+14 | |
| | | ||||||
| * | 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 | 1 | -2/+3 | |
| | | ||||||
| * | Infrastructure to support full Liberty format and unitification of library ↵ | Alan Mishchenko | 2013-09-15 | 2 | -1/+5 | |
| | | | | | representations. | |||||
| * | Enabling additional printouts in 'pdr'. | Alan Mishchenko | 2013-09-13 | 1 | -0/+7 | |
| | | ||||||
| * | Added command &struct for profiling non-dec structures. | Alan Mishchenko | 2013-09-13 | 1 | -0/+61 | |
| | | ||||||
| * | Fix a bug in 'zeropo'. | Alan Mishchenko | 2013-09-13 | 1 | -1/+1 | |
| | | ||||||
| * | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -2/+14 | |
| | | ||||||
| * | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -4/+12 | |
| | | ||||||
| * | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-12 | 1 | -2/+6 | |
| | | ||||||
| * | Command '&slice' to cut out the bottom part of the AIG. | Alan Mishchenko | 2013-09-11 | 1 | -0/+60 | |
| | | ||||||
| * | Small performance bug in new 'fx'. | Alan Mishchenko | 2013-09-11 | 1 | -1/+1 | |
| | | ||||||
| * | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-10 | 1 | -2/+15 | |
| | | ||||||
| * | New API to return the set of all reachable states as an AIG. | Alan Mishchenko | 2013-09-10 | 1 | -1/+4 | |
| | | ||||||
| * | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-09 | 1 | -3/+52 | |
| | | ||||||
| * | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-09 | 1 | -1/+32 | |
| | | ||||||
 |
index : iCE40/abc | |
| clone of https://github.com/YosysHQ/abc |
| summaryrefslogtreecommitdiffstats |