summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
* Adding truth table occurrence counters for 'if -c'.Alan Mishchenko2016-08-083-0/+14
* Enabled progress bar in the 'if' mapper (warning).Alan Mishchenko2016-08-081-1/+1
* Enabled delay computation for the cut output using cut inputs.Alan Mishchenko2016-08-083-2/+52
* Enabled progress bar in the 'if' mapper.Alan Mishchenko2016-08-081-5/+5
* Adding one argument to the delay-estimation API used for exact synthesis.Alan Mishchenko2016-07-311-3/+3
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-3/+25
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-293-17/+33
* Adding switch -P <num> to command 'cover'.Alan Mishchenko2016-06-143-6/+6
* New feature for area minimization in standard cell mapping.Alan Mishchenko2016-05-191-0/+5
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-163-0/+59
* Added switch 'read_genlib -n' to anonymize Genlib library.Alan Mishchenko2016-05-163-9/+139
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-271-0/+1
* Adding API to convert Genlib into a simple Liberty.Alan Mishchenko2016-03-114-1/+145
* Disabling formula cleaner to avoid problems with reading GENLIB on some libra...Alan Mishchenko2016-02-211-1/+2
* Bug fix in liberty parser and change suggested by Clifford.Alan Mishchenko2016-02-072-1/+17
* GENLIB parsing bug, which led to a crash.Alan Mishchenko2016-02-061-1/+4
* Fixing mismatch in the TLS flow induced by adding cell configs in the DSD man...Alan Mishchenko2016-01-301-1/+1
* Adding support for delay/area tradeoff.Alan Mishchenko2016-01-131-3/+3
* Consolidating timing manager Scl_Con_t and propagating changes.Alan Mishchenko2016-01-074-16/+16
* Bug fix in constraint file reader.Alan Mishchenko2016-01-072-2/+8
* Migrating to using 32-bit timing representation in &nf.Alan Mishchenko2016-01-053-87/+87
* Migrating back to using 'float' in area-flow computation in &nf.Alan Mishchenko2016-01-052-7/+9
* Corner-case bug in 'read_profile'.Alan Mishchenko2015-12-221-1/+1
* Adding code to support gate profiles.Alan Mishchenko2015-12-149-51/+206
* Adding code to support gate profiles.Alan Mishchenko2015-12-074-1/+50
* Adding commands to read/write/print gate profiles.Alan Mishchenko2015-12-055-8/+250
* Improvements to timing optimization.Alan Mishchenko2015-11-114-10/+12
* 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