summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcPrint.c
Commit message (Expand)AuthorAgeFilesLines
* Updating LUT synthesis code.Alan Mishchenko2021-05-251-0/+9
* Disable cube-sort when deriving SOPs.Alan Mishchenko2021-05-111-1/+1
* Corner case bug fix in print_stats (warning).Alan Mishchenko2019-11-191-1/+1
* Corner case bug fix in print_stats.Alan Mishchenko2019-11-191-1/+1
* Procedures to generate constant-argument multipliers.Alan Mishchenko2019-01-081-1/+2
* Adding command 'glitch' for glitch simulation.Alan Mishchenko2017-03-021-5/+74
* Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-151-4/+4
* New profiling features for word-level optimizations.Alan Mishchenko2016-06-041-0/+40
* Adding code to support gate profiles.Alan Mishchenko2015-12-141-7/+11
* Adding code to support gate profiles.Alan Mishchenko2015-12-071-1/+7
* Improvements to command print_fanio.Alan Mishchenko2015-10-271-45/+278
* Experiments with functional matching.Alan Mishchenko2015-10-081-0/+2
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-2/+32
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+5
* Assertion fail after 'print_supp -w'.Alan Mishchenko2015-07-111-1/+4
* Bug fixing in %blast when blasting mod operator (handling zero divisor).Alan Mishchenko2015-07-071-2/+2
* Enable arrival/required times in &nf.Alan Mishchenko2015-03-151-2/+5
* Propagating changes after updating flag of 'sop'.Alan Mishchenko2015-02-191-1/+1
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-1/+1
* Improvements and tuning of CBA with buffering/sizing.Alan Mishchenko2015-02-041-2/+2
* Integrating barrier buffers.Alan Mishchenko2014-12-081-1/+3
* Enables dumping stats into a file.Alan Mishchenko2014-09-231-0/+14
* Improvements BLIF parser.Alan Mishchenko2014-08-271-2/+2
* Small changes.Alan Mishchenko2014-07-291-2/+3
* Adding support for standard-cell mapping.Alan Mishchenko2014-07-281-0/+3
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-1/+13
* Correcting switching activity computation.Alan Mishchenko2014-06-051-0/+1
* Adding color to sizing stats.Alan Mishchenko2014-04-191-1/+11
* Updating cost function to be the number of edges in ps -b.Alan Mishchenko2014-04-091-1/+4
* Tuning LUT mapping to work while saving the best network.Alan Mishchenko2014-04-041-1/+4
* Adding barrier buffers.Alan Mishchenko2014-03-181-0/+2
* Improving switching activity computation.Alan Mishchenko2013-12-301-1/+1
* Upgrading command 'print_supp'.Alan Mishchenko2013-12-041-3/+12
* Several changes to allow Liberty files without delay info.Alan Mishchenko2013-11-211-1/+1
* Unifying standard cell library representations.Alan Mishchenko2013-09-171-0/+1
* Adding switch 'ps -s' to skip counting buffers/inverters as nodes.Alan Mishchenko2013-09-021-16/+10
* Adding switch 'ps -s' to skip counting buffers/inverters as nodes.Alan Mishchenko2013-09-021-3/+3
* Removing some old useless code.Alan Mishchenko2013-09-021-2/+0
* Adding support for input slew (.input_drive) and output capacitance (.output_...Alan Mishchenko2013-07-211-1/+1
* Improved printout of XOR/MUX/AND in 'print_stats'.Alan Mishchenko2013-07-161-12/+18
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-5/+5
* New command 'putontop' to concatenate networks for don't-care-based optimizat...Alan Mishchenko2013-05-251-2/+2
* Adding print-out of SOP literals with 'ps -f'.Alan Mishchenko2013-04-191-1/+2
* Enabled 'cec' to be applied to networks derived from BLIF with EXDCs.Alan Mishchenko2013-04-181-0/+2
* Changed to 'print_level' to be less verbose by default.Alan Mishchenko2013-03-281-12/+15
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-101-2/+2
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-301-111/+109
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-191-1/+1
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-191-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 00:27:45 +0000