summaryrefslogtreecommitdiffstats
path: root/src/opt
Commit message (Collapse)AuthorAgeFilesLines
* New SAT-based optimization package.Alan Mishchenko2016-12-044-35/+159
|
* Analysis of arithmetic logic cones.Alan Mishchenko2016-12-041-5/+5
|
* New SAT-based optimization package.Alan Mishchenko2016-12-032-123/+437
|
* New SAT-based optimization package.Alan Mishchenko2016-11-301-1/+1
|
* New SAT-based optimization package.Alan Mishchenko2016-11-302-122/+485
|
* New SAT-based optimization package.Alan Mishchenko2016-11-284-81/+491
|
* New SAT-based optimization package.Alan Mishchenko2016-11-272-27/+376
|
* New SAT-based optimization package.Alan Mishchenko2016-11-264-42/+663
|
* New SAT-based optimization package.Alan Mishchenko2016-11-191-65/+311
|
* New SAT-based optimization package.Alan Mishchenko2016-11-171-15/+232
|
* New SAT-based optimization package.Alan Mishchenko2016-11-178-0/+650
|
* Fixed several compiler warnings.Alan Mishchenko2016-11-171-23/+22
|
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-083-0/+618
| | | | | from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.
* Adding switch &mfs -b to preserve white boxes during optimization.Alan Mishchenko2016-10-073-2/+10
|
* Small FXCH bug fix.Bruno Schmitt2016-10-071-3/+9
|
* Compiler warnings.Alan Mishchenko2016-09-301-3/+3
|
* Small bug fix in FXCH.Bruno Schmitt2016-08-181-10/+10
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 11:38:27 +0000