summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaNf.c
Commit message (Collapse)AuthorAgeFilesLines
* Disabling unused feature in &nf.Alan Mishchenko2018-06-041-0/+2
|
* Fixed crash in &nf when there is no buffer gate.Alan Mishchenko2018-01-121-0/+5
|
* Commenting out useless assertion.Alan Mishchenko2017-07-061-1/+1
|
* Saturating floating point computation.Alan Mishchenko2017-07-011-1/+5
|
* Fixing non-reproducability related to floating-point numbers.Alan Mishchenko2017-01-271-8/+9
|
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-161-34/+25
|
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-081-46/+60
|
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-071-0/+149
|
* Consolidating timing manager Scl_Con_t and propagating changes.Alan Mishchenko2016-01-071-10/+8
|
* Fixing last-minute bug fix in &nf.Alan Mishchenko2016-01-051-2/+2
|
* Buf fix in floating time reporting.Alan Mishchenko2016-01-051-20/+21
|
* Fix in &nf for the case when PO can be driven by an inverter.Alan Mishchenko2016-01-051-0/+5
|
* Fix in &nf for the case when PO can be driven by an inverter.Alan Mishchenko2016-01-051-0/+30
|
* Migrating to using 32-bit timing representation in &nf.Alan Mishchenko2016-01-051-151/+148
|
* Migrating back to using 'float' in area-flow computation in &nf.Alan Mishchenko2016-01-051-69/+75
|
* Added several knobs to control QoR in &nf.Alan Mishchenko2015-10-201-4/+2
|
* Added several knobs to control QoR in &nf.Alan Mishchenko2015-10-201-27/+74
|
* Code simplification and improvements in &nf.Alan Mishchenko2015-10-191-129/+85
|
* Bug fix in propagating required times in &nf (another issue).Alan Mishchenko2015-10-011-10/+4
|
* Bug fix in propagating required times in &nf.Alan Mishchenko2015-10-011-2/+2
|
* Bug fix in &nf and in propagating timing info.Alan Mishchenko2015-09-271-7/+12
|
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-4/+25
|
* More tuning in &nf.Alan Mishchenko2015-09-061-17/+30
|
* More tuning in &nf.Alan Mishchenko2015-09-061-1/+1
|
* More tuning in &nf.Alan Mishchenko2015-09-061-5/+7
|
* More tuning in &nf.Alan Mishchenko2015-09-061-411/+123
|
* More tuning in &nf.Alan Mishchenko2015-09-041-5/+354
|
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-1/+1
|
* Improvements to Cba data-structure.Alan Mishchenko2015-09-031-1/+1
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-2/+2
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-10/+10
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-136/+92
|
* Experimenting with area recovery.Alan Mishchenko2015-08-311-49/+287
|
* Performance tuning of the Nf.Alan Mishchenko2015-08-311-1/+1
|
* Performance tuning of the Nf.Alan Mishchenko2015-08-311-146/+149
|
* More tuning in &nf.Alan Mishchenko2015-08-281-1/+1
|
* Adding switch to control area-recovery and more tuning in &nf.Alan Mishchenko2015-08-281-2/+3
|
* Important bug fixes in standard-cell library handling and mapper &nf.Alan Mishchenko2015-08-281-321/+94
|
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
|
* Enable arrival/required times in &nf.Alan Mishchenko2015-03-151-4/+14
|
* Compiler warnings.Alan Mishchenko2015-02-191-5/+6
|
* Adding switch '-p' to control pin-permutation in &nf.Alan Mishchenko2015-02-081-2/+2
|
* Diabling pin-permutation in &nf mapper.Alan Mishchenko2015-02-081-520/+113
|
* Bug fix in &nf.Alan Mishchenko2015-02-021-0/+1
|
* Commenting out assertions in the mapper, which do not work for barrier buffers.Alan Mishchenko2014-12-141-4/+4
|
* Compiler warnings.Alan Mishchenko2014-12-131-5/+5
|
* Several additional files for source control.Alan Mishchenko2014-12-131-2/+2495
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+58