summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Collapse)AuthorAgeFilesLines
* Adding dynamic memory alloc for the buffer in Liberty file reader.Alan Mishchenko2020-01-111-3/+9
|
* Making sure arrival time of constant node is -infinity.Alan Mishchenko2020-01-021-0/+2
|
* Adding limit on the depth of recursion when counting exact area in 'amap'.Alan Mishchenko2019-10-263-1/+62
|
* Small bug in the unused code.Alan Mishchenko2019-10-041-1/+1
|
* Adding switch to &if to consider special type of 6-input cuts.Alan Mishchenko2019-09-264-0/+84
|
* Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to ↵Alan Mishchenko2019-09-191-0/+1
| | | | print delay profile.
* Fixing some update gcc.Alan Mishchenko2019-07-241-1/+1
|
* Adding support for user-specified wire delays in &if.Alan Mishchenko2019-05-291-1/+1
|
* Prevent assertions from firing for deep logic networks.Alan Mishchenko2019-03-201-4/+4
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-0517-26/+26
| | | | memcpy, etc.
* Fixing some warnings with -Wconversion.Alan Mishchenko2019-03-051-2/+2
|
* Fixing float overflow during edge-flow computation in 'if' mapper (change to ↵Alan Mishchenko2018-12-121-0/+8
| | | | avoid dependence on the order of additions).
* Fixing float overflow during edge-flow computation in 'if' mapper.Alan Mishchenko2018-12-121-3/+7
|
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-2/+2
|
* Skip cells in Liberty files which have dont_use attribute.Alan Mishchenko2018-10-182-3/+56
|
* Suggested bug fix in 'amap'.Alan Mishchenko2018-09-131-0/+3
|
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-282-0/+8
|
* Compilation problem with pow().Alan Mishchenko2018-02-191-2/+2
|
* Value of properties can be expression.Staf Verhaegen2018-01-031-0/+12
| | | | | | | | | | | | | | Example found in the 2007.03 Liberty Reference Manual that was also found in the wild: input_voltage(CMOS) { vil : 0.3 * VDD ; vih : 0.7 * VDD ; vimin : -0.5 ; vimax : VDD + 0.5 ; } Current implementation just parses the expression but no interpretation is done.
* Adding API to dump MiniAIG into a Verilog file and other small changes.Alan Mishchenko2017-10-222-0/+3
|
* Fix typo on the message reporting max output load.Alan Mishchenko2017-10-111-1/+1
|
* Updates and bug fixes.Alan Mishchenko2017-10-043-11/+19
|
* Maintenance and updates.Alan Mishchenko2017-09-245-3/+57
|
* Maintenance and updates.Alan Mishchenko2017-09-202-3/+7
|
* Maintenance and updates.Alan Mishchenko2017-09-184-0/+56
|
* Compiler warnings.Alan Mishchenko2017-07-226-8/+8
|
* Synchronizing various data-structures.Alan Mishchenko2017-07-042-7/+162
|
* Saturating floating point computation.Alan Mishchenko2017-07-011-3/+7
|
* Saturating floating point computation.Alan Mishchenko2017-06-291-4/+10
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-202-0/+2
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-1/+1
|
* stringizing macro argumentHeinz Riener2017-03-031-2/+2
|
* 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
|