Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Adding support for flop init-states in extended AIG. | Alan Mishchenko | 2015-10-04 | 8 | -2/+66 | |
| | ||||||
* | Bug fix in propagating required times in &nf (another issue). | Alan Mishchenko | 2015-10-01 | 1 | -10/+4 | |
| | ||||||
* | Bug fix in propagating required times in &nf. | Alan Mishchenko | 2015-10-01 | 1 | -2/+2 | |
| | ||||||
* | Naive LUT packing algorithm (command &pack). | Alan Mishchenko | 2015-09-30 | 2 | -0/+208 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-30 | 2 | -104/+290 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-29 | 1 | -36/+17 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-29 | 1 | -84/+358 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-28 | 1 | -17/+43 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-28 | 1 | -57/+271 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-27 | 1 | -3/+3 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-27 | 3 | -0/+1003 | |
| | ||||||
* | Bug fix in &nf and in propagating timing info. | Alan Mishchenko | 2015-09-27 | 1 | -7/+12 | |
| | ||||||
* | New command &rexwalk. | Alan Mishchenko | 2015-09-26 | 1 | -0/+2 | |
| | ||||||
* | New command &rexwalk. | Alan Mishchenko | 2015-09-26 | 1 | -0/+197 | |
| | ||||||
* | Adding API to set the number of flops after reading MiniAIG. | Alan Mishchenko | 2015-09-24 | 1 | -0/+1 | |
| | ||||||
* | Bug fix in &rex2gia. | Alan Mishchenko | 2015-09-23 | 1 | -1/+3 | |
| | ||||||
* | Fixing corner-cases in 'tempor' and in 'unfold'. | Alan Mishchenko | 2015-09-22 | 1 | -0/+5 | |
| | ||||||
* | Adding new command &rex2gia. | Alan Mishchenko | 2015-09-22 | 2 | -0/+346 | |
| | ||||||
* | Improvements to &b -das. | Alan Mishchenko | 2015-09-18 | 3 | -10/+78 | |
| | ||||||
* | Adding switch to &b to prevent dumplicated area when used in delay-mode (&b ↵ | Alan Mishchenko | 2015-09-18 | 2 | -27/+27 | |
| | | | | -da). | |||||
* | Commenting out assertion in &b, which does not hold. | Alan Mishchenko | 2015-09-18 | 1 | -1/+1 | |
| | ||||||
* | Improvements to QBF solver; new quantification command &qvar. | Alan Mishchenko | 2015-09-18 | 1 | -12/+80 | |
| | ||||||
* | New constraint manager and memory reporting 'ps'. | Alan Mishchenko | 2015-09-08 | 2 | -4/+32 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -17/+30 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -1/+1 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -5/+7 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -411/+123 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-04 | 1 | -5/+354 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 1 | -1/+1 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 1 | -1/+1 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -2/+2 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -10/+10 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -136/+92 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -49/+287 | |
| | ||||||
* | Performance tuning of the Nf. | Alan Mishchenko | 2015-08-31 | 1 | -1/+1 | |
| | ||||||
* | Performance tuning of the Nf. | Alan Mishchenko | 2015-08-31 | 2 | -146/+152 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-08-28 | 1 | -1/+1 | |
| | ||||||
* | Adding switch to control area-recovery and more tuning in &nf. | Alan Mishchenko | 2015-08-28 | 2 | -2/+4 | |
| | ||||||
* | Important bug fixes in standard-cell library handling and mapper &nf. | Alan Mishchenko | 2015-08-28 | 1 | -321/+94 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -1/+1 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 3 | -2/+7 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -0/+4 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 2 | -0/+28 | |
| | ||||||
* | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 1 | -9/+73 | |
| | ||||||
* | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 1 | -0/+61 | |
| | ||||||
* | Commenting out an assertion. | Alan Mishchenko | 2015-08-10 | 1 | -1/+1 | |
| | ||||||
* | Adding new GIA duplication API. | Alan Mishchenko | 2015-07-21 | 2 | -0/+37 | |
| | ||||||
* | Do not add reset logic to un-initialized flops without fanout. | Alan Mishchenko | 2015-07-16 | 1 | -1/+6 | |
| | ||||||
* | New TFI/TFO profiling code. | Alan Mishchenko | 2015-07-10 | 1 | -17/+41 | |
| | ||||||
* | New TFI/TFO profiling code. | Alan Mishchenko | 2015-07-09 | 3 | -4/+303 | |
| |