summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Collapse)AuthorAgeFilesLines
* Extending and improving timing manager.Alan Mishchenko2015-11-086-13/+78
|
* Extending and improving timing manager.Alan Mishchenko2015-11-082-4/+9
|
* Extending and improving timing manager.Alan Mishchenko2015-11-084-3/+161
|
* silence clang errors when compiling as C++Baruch Sterin2015-11-051-1/+1
|
* Bug fix in constructing internal choices by 'amap'.Alan Mishchenko2015-11-041-1/+1
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-272-0/+2
|
* Changes for delay-oriented computation.Alan Mishchenko2015-10-261-1/+1
|
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-253-2/+62
|
* Adding switch in 'print_genlib' and 'write_genlib' to print area-min gates only.Alan Mishchenko2015-10-233-16/+38
|
* Changes for delay-oriented computation.Alan Mishchenko2015-10-232-2/+4
|
* Compiler warnings.Alan Mishchenko2015-10-211-2/+2
|
* Moving BDD-based threshold function detection to the BDD part of the code.Alan Mishchenko2015-10-162-0/+9
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-152-0/+2
|
* Experiments with precomputation and matching.Alan Mishchenko2015-10-124-15/+31
|
* Two fixes in 'dsd_filter'.Alan Mishchenko2015-10-071-1/+1
|
* Bug fix in 'if -g' (incorrect use of a macro).Alan Mishchenko2015-10-071-3/+3
|
* Improvements to Scl_Lib/SC_Cell data-structure.Alan Mishchenko2015-09-246-230/+211
|
* Several bug-fixed related to synthesis, library handling, and timimg info.Alan Mishchenko2015-09-231-2/+4
|
* Threshold logic checking code by Augusto Neutzling and Jody Matos.Alan Mishchenko2015-09-231-3/+6
|
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-085-16/+425
|
* Updating Mio to use int instead of float.Alan Mishchenko2015-08-312-2/+192
|
* Alternative way to bit-blast a divisor.Alan Mishchenko2015-08-291-1/+1
|
* Important bug fixes in standard-cell library handling and mapper &nf.Alan Mishchenko2015-08-284-14/+34
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-242-1/+3
|
* New switch in 'read_lib' to replace gate/pin names by short strings.Alan Mishchenko2015-08-241-5/+44
|
* New switch in 'read_lib' to replace gate/pin names by short strings.Alan Mishchenko2015-08-243-2/+105
|
* Experiments with mapping plus small changes.Alan Mishchenko2015-08-233-3/+10
|
* Small changes to enable collecting results using &ps -D file.Alan Mishchenko2015-07-092-0/+2
|
* Bug fix in programmable cell parser and minor tuning.Alan Mishchenko2015-07-081-1/+2
|
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
|
* Add fix to Liberty parser to skip extra semicolon.Alan Mishchenko2015-07-061-0/+5
|
* Undo recent assert.Alan Mishchenko2015-06-271-2/+2
|
* Potential performance bug in the mapper.Alan Mishchenko2015-06-271-1/+1
|
* Supporting AND-gate cuts in 'if' and '&if'Alan Mishchenko2015-06-213-6/+27
|
* Bug fix in 'dsd_tune' when processing cells with 0-input LUTs.Alan Mishchenko2015-05-151-2/+7
|
* Making sure 0-input LUTs are supported by the DSD matching code.Alan Mishchenko2015-05-141-5/+5
|
* Improving the criteria to select representative gates in 'map' with ↵Alan Mishchenko2015-04-251-47/+60
| | | | floating-point-delay libraries having more than one gate in some functionality classes.
* Adding switch 'map -f' to not use large gates for high-fanout nodes ↵Alan Mishchenko2015-04-244-2/+5
| | | | (disabled by default).
* Adding platform-independent (alphabetic) way of sorting Genlib gates and ↵Alan Mishchenko2015-04-172-20/+56
| | | | selecting representatives based on area/delay.
* Adding APIs to retrieve NOR/OR gates from the library.Alan Mishchenko2015-04-144-4/+15
|
* Getting default AND-node delay from Genlib library.Alan Mishchenko2015-04-062-0/+2
|
* Support for representing programmable cell configuration data (bug fix).Alan Mishchenko2015-03-091-1/+4
|
* Support for representing programmable cell configuration data.Alan Mishchenko2015-03-081-1/+2
|
* Support for representing programmable cell configuration data.Alan Mishchenko2015-03-083-64/+222
|
* Experiments with SAT-based cube enumeration.Alan Mishchenko2015-03-051-3/+4
|
* Corner case bug in wire-cap estimation.Alan Mishchenko2015-02-181-0/+2
|
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-091-1/+1
|
* Fixed a typo in variable names.Alan Mishchenko2015-02-075-24/+24
|
* Improvements and tuning of CBA with buffering/sizing.Alan Mishchenko2015-02-045-28/+77
|
* Improvements and tuning of CBA.Alan Mishchenko2015-02-011-0/+2
|