summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Collapse)AuthorAgeFilesLines
* Windows complier errors.Alan Mishchenko2016-08-061-2/+2
|
* Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)Alan Mishchenko2016-08-061-14/+105
|\ | | | | | | Exact hierarchical NPN classification
| * Return the class representative of each function.Ana Petkovska2016-06-181-15/+59
| |
| * Group based exact NPN classification.Ana Petkovska2016-06-181-2/+49
| |
* | Compiler errors on Windows.Alan Mishchenko2016-08-014-39/+50
| |
* | Several updates to FXCH including:Bruno Schmitt2016-08-015-285/+537
|/ | | | | - Cube Grouping - New sub-cube hash table
* Complier fix.Alan Mishchenko2016-06-171-2/+2
|
* Merged in boschmitt/abc (pull request #28)Alan Mishchenko2016-06-174-128/+189
|\ | | | | | | Handling D1C and SCC in FXCH
| * Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment ↵Bruno Schmitt2016-06-174-128/+189
| | | | | | | | | | | | | | (SCC) as by product of extraction. D1C: Whenever they appear a constant divisor (x! + x) will be created and handle as any other divisor. SCC: Will be taken care of as soon as they appear.
* | New command 'phase_map'.Alan Mishchenko2016-06-171-1/+1
|/
* Adding a switch 'retime -o' to use old flop naming conventions.Alan Mishchenko2016-06-164-31/+49
|
* Switch 'fx -x' to use only canonical divisors in 'fx'.Alan Mishchenko2016-06-061-0/+1
|
* Small changes to compile on Windows.Alan Mishchenko2016-06-031-5/+7
|
* Removing the memory saving mode, it is no longer necessary.Bruno Schmitt2016-06-025-178/+17
|
* Minimizing memory usage. The implementation was using twice as much memory ↵Bruno Schmitt2016-06-021-30/+30
| | | | as necessary.
* Merged in boschmitt/abc (pull request #26)Alan Mishchenko2016-05-191-2/+2
|\ | | | | | | Fix the problem of not identifying divisors when its originating cubes had only 2 literals.
| * Merged alanmi/abc into defaultBruno Schmitt2016-05-194-2/+388
| |\
| * | Fix the problem of not identifying divisors when its originating cubes had ↵Bruno Schmitt2016-05-191-2/+2
| | | | | | | | | | | | | | | | | | only 2 literals. With this change, 'empty' sub-cubes (sub-cubes with an ID equal to zero) are inserted in the 0th bin of the hash table.
* | | Improving SMT-LIB parser.Alan Mishchenko2016-05-191-2/+2
| |/ |/|
* | New feature for area minimization in standard cell mapping.Alan Mishchenko2016-05-193-1/+387
| |
* | fix end of line problem that prevents the cmake build system from workingBaruch Sterin2016-05-171-1/+1
|/
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-111-1/+1
|
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-111-2/+2
|
* Cosmetic changes after incorporating new code of 'fxch'.Alan Mishchenko2016-05-114-47/+78
|
* Add a new module which implements the fast extract with cube hashing (fxch) ↵Bruno Schmitt2016-05-116-0/+1945
| | | | | | algorithm. Removes old partial implementation of this algorithm from the "pla" module.
* New hierarchical TT NPN matching.Alan Mishchenko2016-02-262-0/+144
|
* Re-doing the same change.Alan Mishchenko2016-02-151-2/+2
|
* Temporarily undoing one of the recent changes.Alan Mishchenko2016-02-151-2/+2
|
* Fixing the problem of identically named signals in 'retime'.Alan Mishchenko2016-02-052-4/+4
|
* Making flop names after 'retime' more meaningful.Alan Mishchenko2016-02-032-4/+6
|
* Small changes to sort for timing.Alan Mishchenko2016-01-241-3/+7
|
* Adding support for delay/area tradeoff.Alan Mishchenko2016-01-133-31/+53
|
* Consolidating timing manager Scl_Con_t and propagating changes.Alan Mishchenko2016-01-075-26/+29
|
* Migrating to using 32-bit timing representation in &nf.Alan Mishchenko2016-01-051-4/+4
|
* Migrating back to using 'float' in area-flow computation in &nf.Alan Mishchenko2016-01-051-1/+1
|
* Improvements to timing optimization.Alan Mishchenko2015-11-113-29/+63
|
* Extending and improving timing manager.Alan Mishchenko2015-11-081-1/+2
|
* Extending and improving timing manager.Alan Mishchenko2015-11-082-15/+43
|
* Extending and improving timing manager.Alan Mishchenko2015-11-083-432/+21
|
* Extending and improving timing manager.Alan Mishchenko2015-11-086-54/+576
|
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-051-21/+98
|
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-054-318/+89
|
* silence clang errors when compiling as C++Baruch Sterin2015-11-053-21/+21
|
* Small fix in one procedure to make it compile.Alan Mishchenko2015-11-021-1/+1
|
* Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ↵Alan Mishchenko2015-10-283-14/+14
| | | | warnings.
* Merged in sterin/abc (pull request #13)Alan Mishchenko2015-10-286-0/+4409
|\ | | | | | | Restoring Aaron Hurst's "fretime" command
| * Restoring Aaron Hurst's "fretime" commandBaruch Sterin2015-10-286-0/+4409
| |
* | Improvements in delay optimization.Alan Mishchenko2015-10-281-20/+114
|/
* Enabling reverse topo order in area minimization.Alan Mishchenko2015-10-282-43/+101
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-273-10/+94
|