summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Collapse)AuthorAgeFilesLines
...
* Restoring constraint manager to read old constraint file by default (use ↵Alan Mishchenko2017-02-252-18/+26
| | | | 'read_constr -n' to read new format).
* Corner-case bug-fix in library preprocessor for standard-cell mapping.Alan Mishchenko2017-02-051-2/+2
|
* Typo.Alan Mishchenko2017-01-311-1/+1
|
* Bug fixes by Clifford Wolf.Alan Mishchenko2017-01-081-0/+4
|
* Compiler warnings.Alan Mishchenko2017-01-072-5/+5
|
* Compiler warnings.Alan Mishchenko2016-12-311-3/+3
|
* Bug fix in Liberty parser.Alan Mishchenko2016-12-051-0/+4
|
* Equivalent fault detection code.Alan Mishchenko2016-11-093-0/+5
|
* Memory leak in scl package.Alan Mishchenko2016-10-121-0/+2
|
* 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 ↵Alan Mishchenko2016-07-291-3/+25
| | | | mapping.
* Infrastructure for using the results of exact SAT-based synthesis during ↵Alan Mishchenko2016-07-293-17/+33
| | | | mapping.
* 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 ↵Alan Mishchenko2016-02-211-1/+2
| | | | libraries.
* 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 ↵Alan Mishchenko2016-01-301-1/+1
| | | | manager.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 01:47:20 +0000