summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaBalance.c
Commit message (Collapse)AuthorAgeFilesLines
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-081-3/+50
|
* Updates and changes to several packages.Alan Mishchenko2014-07-201-0/+1
|
* Updates and bug fixes.Alan Mishchenko2014-06-151-1/+5
|
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-141-6/+17
|
* Various modifications.Alan Mishchenko2014-06-131-1/+2
|
* Various modifications.Alan Mishchenko2014-06-121-8/+8
|
* Integrating recent changes.Alan Mishchenko2014-06-121-8/+12
|
* Propagating initial PI level during balancing.Alan Mishchenko2013-11-151-0/+45
|
* Corner-case bug in synthesis commands.Alan Mishchenko2013-11-011-0/+6
|
* Adding new synthesis scripts.Alan Mishchenko2013-10-231-2/+68
|
* More accurate level calculation in AIG balancing.Alan Mishchenko2013-10-221-5/+14
|
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-031-6/+6
|
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+6
|
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-0/+1
|
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-7/+47
|
* Changing default values.Alan Mishchenko2013-10-021-2/+2
|
* Converting mapped AIG into strashed AIG.Alan Mishchenko2013-09-301-4/+11
|
* Changing default values.Alan Mishchenko2013-09-301-3/+4
|
* Changing default values.Alan Mishchenko2013-09-301-1/+1
|
* Changing default values.Alan Mishchenko2013-09-301-8/+26
|
* Changing default values.Alan Mishchenko2013-09-301-19/+34
|
* New logic sharing extraction.Alan Mishchenko2013-09-291-1/+1
|
* Updating logic extraction.Alan Mishchenko2013-09-291-2/+3
|
* Updating logic extraction.Alan Mishchenko2013-09-291-11/+58
|
* Changing default values.Alan Mishchenko2013-09-291-2/+3
|
* New logic sharing extraction.Alan Mishchenko2013-09-281-68/+97
|
* New logic sharing extraction.Alan Mishchenko2013-09-281-61/+575
|
* Performance balancing command &b.Alan Mishchenko2013-09-271-0/+328