Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-24 | 1 | -5/+7 | |
| | ||||||
* | Fix in reading flop classes. | Alan Mishchenko | 2014-11-21 | 1 | -8/+7 | |
| | ||||||
* | Fix in reading flop classes. | Alan Mishchenko | 2014-11-21 | 1 | -1/+7 | |
| | ||||||
* | Integrating mfs2 package to work with boxes. | Alan Mishchenko | 2014-11-16 | 1 | -0/+1 | |
| | ||||||
* | Generation of barrier-buffers for hierarchical design. | Alan Mishchenko | 2014-11-10 | 1 | -0/+1 | |
| | ||||||
* | Improvements to DSD balancing. | Alan Mishchenko | 2014-08-27 | 1 | -1/+1 | |
| | ||||||
* | Improvements to the timing manager. | Alan Mishchenko | 2014-08-25 | 1 | -2/+4 | |
| | ||||||
* | Adding support for standard-cell mapping. | Alan Mishchenko | 2014-07-28 | 1 | -0/+1 | |
| | ||||||
* | Improvements to representation of choices. | Alan Mishchenko | 2014-07-01 | 1 | -4/+2 | |
| | ||||||
* | Improvements to power-aware mapping. | Alan Mishchenko | 2014-06-23 | 1 | -5/+9 | |
| | ||||||
* | Experiments with balancing. | Alan Mishchenko | 2014-06-22 | 1 | -1/+1 | |
| | ||||||
* | New tools for profiling verification miters. | Alan Mishchenko | 2014-06-20 | 1 | -0/+39 | |
| | ||||||
* | Various modifications. | Alan Mishchenko | 2014-06-12 | 1 | -24/+5 | |
| | ||||||
* | Various modifications. | Alan Mishchenko | 2014-06-10 | 1 | -3/+18 | |
| | ||||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -0/+1 | |
| | ||||||
* | Adding color to sizing stats. | Alan Mishchenko | 2014-04-19 | 1 | -0/+7 | |
| | ||||||
* | Adding color to mapping stats. | Alan Mishchenko | 2014-04-19 | 1 | -0/+17 | |
| | ||||||
* | Adding print-out of average level. | Alan Mishchenko | 2014-04-19 | 1 | -1/+4 | |
| | ||||||
* | Experiments with recent ideas. | Alan Mishchenko | 2014-03-20 | 1 | -6/+14 | |
| | ||||||
* | Experiments with recent ideas. | Alan Mishchenko | 2014-03-19 | 1 | -0/+39 | |
| | ||||||
* | Experiments with recent ideas. | Alan Mishchenko | 2014-03-19 | 1 | -0/+1 | |
| | ||||||
* | Passing file name for stats print-out in &ps. | Alan Mishchenko | 2014-03-09 | 1 | -1/+1 | |
| | ||||||
* | Improving switching activity computation. | Alan Mishchenko | 2013-12-26 | 1 | -0/+1 | |
| | ||||||
* | New BMC engine. | Alan Mishchenko | 2013-10-27 | 1 | -1/+1 | |
| | ||||||
* | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 1 | -0/+2 | |
| | ||||||
* | Towards better Boolean matching. | Alan Mishchenko | 2013-10-05 | 1 | -1/+1 | |
| | ||||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-29 | 1 | -1/+1 | |
| | ||||||
* | New logic sharing extraction. | Alan Mishchenko | 2013-09-28 | 1 | -1/+9 | |
| | ||||||
* | Changed printf to Abc_Print in giaMan.c | Niklas Een | 2013-09-27 | 1 | -44/+43 | |
| | ||||||
* | Improvements to the &ps. | Alan Mishchenko | 2013-09-08 | 1 | -0/+2 | |
| | ||||||
* | Improvements to the new technology mapper. | Alan Mishchenko | 2013-09-07 | 1 | -6/+6 | |
| | ||||||
* | Unifying parameters for the &ps command. | Alan Mishchenko | 2013-09-05 | 1 | -6/+7 | |
| | ||||||
* | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 1 | -0/+21 | |
| | ||||||
* | Unifying representation of mapping in GIA. | Alan Mishchenko | 2013-06-25 | 1 | -3/+3 | |
| | ||||||
* | Counter-example depth minimization. | Alan Mishchenko | 2013-05-22 | 1 | -1/+5 | |
| | ||||||
* | Adding support of XOR/MUX in GIA. | Alan Mishchenko | 2013-05-17 | 1 | -0/+1 | |
| | ||||||
* | Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins. | Alan Mishchenko | 2013-05-17 | 1 | -1/+1 | |
| | ||||||
* | C++ compiler errors. | Alan Mishchenko | 2013-05-04 | 1 | -1/+1 | |
| | ||||||
* | SAT sweeping under constraints. | Alan Mishchenko | 2013-04-25 | 1 | -0/+4 | |
| | ||||||
* | Integrating sweeping information. | Alan Mishchenko | 2013-02-23 | 1 | -1/+1 | |
| | ||||||
* | Integrating sweeping information. | Alan Mishchenko | 2013-02-18 | 1 | -0/+2 | |
| | ||||||
* | Integrating packing information. | Alan Mishchenko | 2013-02-17 | 1 | -0/+2 | |
| | ||||||
* | Unifification of custom extensions. | Alan Mishchenko | 2012-12-10 | 1 | -2/+6 | |
| | ||||||
* | Made print-out of frontier cut an option ('-c') in '&ps'. | Alan Mishchenko | 2012-11-12 | 1 | -3/+3 | |
| | ||||||
* | Extending GIA to represent pintypes and pins. | Alan Mishchenko | 2012-11-12 | 1 | -0/+1 | |
| | ||||||
* | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-24 | 1 | -0/+92 | |
| | ||||||
* | Creating dedicated choice representation for GIA. | Alan Mishchenko | 2012-10-24 | 1 | -0/+32 | |
| | ||||||
* | Adding frontier comptuation based on reversed CO order in &ps. | Alan Mishchenko | 2012-10-24 | 1 | -1/+1 | |
| | ||||||
* | Renamed reference counting APIs in GIA package. | Alan Mishchenko | 2012-10-02 | 1 | -1/+1 | |
| | ||||||
* | Structural reparametrization. | Alan Mishchenko | 2012-10-01 | 1 | -0/+1 | |
| |