summaryrefslogtreecommitdiffstats
path: root/src/opt/sfm
Commit message (Collapse)AuthorAgeFilesLines
* Making default value (-M 0) work correctly in &mfs.Alan Mishchenko2021-04-071-6/+6
|
* Improving resub window computation by always including the TFI of the pivot ↵Alan Mishchenko2020-11-031-1/+0
| | | | node.
* Trying to explicitly compute don't-cares during optimization.Alan Mishchenko2020-11-014-12/+171
|
* Preventing 'mfs' from using fanins of fixed objects as divisors.Alan Mishchenko2020-01-111-1/+38
|
* Improving performance of 'lutpack'.Alan Mishchenko2020-01-101-1/+1
|
* Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.Alan Mishchenko2020-01-076-16/+65
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-052-2/+2
| | | | memcpy, etc.
* Suggested white-space changes for fewer gcc warnings.Alan Mishchenko2019-03-041-1/+1
|
* Experiments with don't-cares.Alan Mishchenko2017-04-021-2/+2
|
* Bug fixes by Clifford Wolf.Alan Mishchenko2017-01-081-2/+2
|
* Adding switch &mfs -b to preserve white boxes during optimization.Alan Mishchenko2016-10-073-2/+10
|
* New command 'phase_map'.Alan Mishchenko2016-06-171-1/+1
|
* 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
|
* 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-085-53/+575
|
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-051-21/+98
|
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-052-307/+78
|
* Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler ↵Alan Mishchenko2015-10-281-2/+2
| | | | warnings.
* 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
|
* Changes for delay-oriented computation.Alan Mishchenko2015-10-264-130/+214
|
* Compiler warnings.Alan Mishchenko2015-10-251-0/+11
|
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-254-71/+116
|
* Changes for delay-oriented computation.Alan Mishchenko2015-10-245-39/+92
|
* Changes for delay-oriented computation.Alan Mishchenko2015-10-245-108/+114
|
* Changes for delay-oriented computation.Alan Mishchenko2015-10-234-118/+632
|
* Gate combination precomputation with delay profile.Alan Mishchenko2015-10-213-17/+137
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-162-38/+71
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-154-2/+285
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-152-103/+340
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-143-48/+148
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-134-83/+166
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-133-50/+222
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-123-64/+588
|
* Experiments with functional matching.Alan Mishchenko2015-10-091-55/+132
|
* Experiments with functional matching.Alan Mishchenko2015-10-082-180/+451
|
* Experiments with functional matching.Alan Mishchenko2015-10-053-190/+271
|
* Experiments with functional matching.Alan Mishchenko2015-10-032-0/+550
|
* Printout in mfs2.Alan Mishchenko2014-11-171-2/+7
|
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-171-2/+4
|