summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
...
* 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 floating-...Alan Mishchenko2015-04-251-47/+60
* Adding switch 'map -f' to not use large gates for high-fanout nodes (disabled...Alan Mishchenko2015-04-244-2/+5
* Adding platform-independent (alphabetic) way of sorting Genlib gates and sele...Alan Mishchenko2015-04-172-20/+56
* 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
* Major rehash of the CBA code.Alan Mishchenko2015-01-312-0/+21
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-272-8/+11
* Gate sizing with barrier buffers.Alan Mishchenko2014-12-213-1/+52
* Exprimental features in tech-mapping.Alan Mishchenko2014-12-211-2/+3
* Bug fix in reading box library.Alan Mishchenko2014-12-201-1/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-135-10/+76
* Adding new mapping feature.Alan Mishchenko2014-12-114-18/+56
* Integrating barrier buffers.Alan Mishchenko2014-12-081-0/+8
* Bug fix in truth table computation.Alan Mishchenko2014-10-151-11/+9
* Recommended changes for portability.Alan Mishchenko2014-10-121-1/+1
* MUX decomposition during mapping.Alan Mishchenko2014-10-111-1/+0
* Deriving network in terms of programmable cells.Alan Mishchenko2014-10-111-1/+2
* Suggested patch for type-punned warningsAlan Mishchenko2014-10-101-3/+6
* Small changes.Alan Mishchenko2014-10-081-0/+2
* Compiler warnings.Alan Mishchenko2014-10-082-1/+3
* Detection of threshold functions.Alan Mishchenko2014-10-082-0/+74
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-041-2/+9
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-043-15/+126
* Deriving AIG after cell mapping.Alan Mishchenko2014-10-032-0/+11
* Synchronizing packages.Alan Mishchenko2014-09-201-0/+2
* Synchronizing packages.Alan Mishchenko2014-09-202-3/+3
* Synchronizing packages.Alan Mishchenko2014-09-201-0/+2