summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Adding new switch 'bdd -s' to translate SOP directly into BDD.Alan Mishchenko2016-04-241-3/+9
* Improved algo for edge computation.Alan Mishchenko2016-04-231-6/+2
* Improved algo for edge computation.Alan Mishchenko2016-04-221-2/+20
* Experimental algorithm for edge optimization.Alan Mishchenko2016-04-131-12/+43
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG...Alan Mishchenko2016-04-111-7/+93
* Supporting edge information during mapping.Alan Mishchenko2016-04-111-5/+22
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-091-0/+49
* Adding AIG rehashing after LUT mapping in Gia.Alan Mishchenko2016-04-071-3/+0
* Adding AIG rehashing after LUT mapping in Gia.Alan Mishchenko2016-04-071-3/+13
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-2/+2
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-0/+5
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-6/+67
* Supporting edge information during mapping.Alan Mishchenko2016-04-061-2/+5
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-2/+7
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-7/+12
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-5/+15
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-031-8/+27
* Enabling native Gia visualization in &show.Alan Mishchenko2016-04-031-5/+10
* Windowing for technology mapping.Alan Mishchenko2016-03-301-6/+9
* Change error to warning in 'scorr'.Alan Mishchenko2016-03-091-2/+2
* New hierarchical TT NPN matching.Alan Mishchenko2016-02-261-0/+1
* Adding support for a different bit-blasting of a multiplier and squarer.Alan Mishchenko2016-02-131-0/+79
* Experiments with SAT-based mapping.Alan Mishchenko2016-02-081-1/+1
* New command to dump LUT network.Alan Mishchenko2016-01-161-33/+97
* Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...Alan Mishchenko2016-01-141-2/+14
* Adding support for delay/area tradeoff.Alan Mishchenko2016-01-131-2/+14
* Integrating new CNF generation into &bmc.Alan Mishchenko2016-01-121-8/+16
* Experiments with SAT-based mapping.Alan Mishchenko2016-01-101-0/+1
* Adding support of candinality clause to the SAT solver.Alan Mishchenko2016-01-101-3/+7
* Adding switch &miter -x for XORs outputs of two word-level POs.Alan Mishchenko2016-01-061-2/+25
* Adding code to support gate profiles.Alan Mishchenko2015-12-141-10/+22
* Improvements to 'satclp'.Alan Mishchenko2015-11-091-7/+7
* Improvements to 'satclp'.Alan Mishchenko2015-11-091-10/+15
* g++ compiler warnings.Alan Mishchenko2015-11-081-0/+1
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-051-2/+1
* Merged in sterin/abc (pull request #13)Alan Mishchenko2015-10-281-17/+9
|\
| * Restoring Aaron Hurst's "fretime" commandBaruch Sterin2015-10-281-17/+9
* | Improvements in delay optimization.Alan Mishchenko2015-10-281-2/+6
|/
* Enabling reverse topo order in area minimization.Alan Mishchenko2015-10-281-2/+6
* Improvements to command print_fanio.Alan Mishchenko2015-10-271-9/+29
* Changes for delay-oriented computation.Alan Mishchenko2015-10-261-5/+21
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-251-2/+2
* New command &isost.Alan Mishchenko2015-10-251-0/+70
* Changes for delay-oriented computation.Alan Mishchenko2015-10-241-13/+40
* Changes for delay-oriented computation.Alan Mishchenko2015-10-241-2/+14
* Set the default cube limit in 'satclp' to be 0.Alan Mishchenko2015-10-231-2/+2
* Added switch 'satclp -Z' to control the max size of the cone to work with.Alan Mishchenko2015-10-231-4/+17
* Minor tuning in 'satclp'.Alan Mishchenko2015-10-221-2/+2
* Added several knobs to control QoR in &nf.Alan Mishchenko2015-10-201-24/+32
* Additional improvements in 'satclp'.Alan Mishchenko2015-10-181-2/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-02 19:29:08 +0000