summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcPrint.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* Extending BLIF parser/write to hangle multi-output cells.Alan Mishchenko2012-09-191-1/+4
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-7/+7
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-3/+3
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Improving printouts of critical path.Alan Mishchenko2012-04-061-4/+9
* Improving printouts of gates and support.Alan Mishchenko2012-03-241-6/+40
* Additional features for delay optimizationAlan Mishchenko2012-03-211-2/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-2/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-4/+3
* Added switch -f to 'print_io' to suppress printing flops.Alan Mishchenko2012-02-111-1/+4
* Major restructuring of the code.Alan Mishchenko2012-01-211-10/+11
* Experiments with SPFD-based decomposition + new K-map print-out.Alan Mishchenko2011-08-201-0/+112
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-081-0/+2
* Fixing a typo, which led to not printing delay in 'ps' after SC mapping.Alan Mishchenko2011-07-021-1/+1
* Added print-out of area in terms of LUT library.Alan Mishchenko2011-04-131-1/+32
* Added printing MFFC sizes and deriving TT from SOP.Alan Mishchenko2011-03-181-2/+9
* Several bug fixes and other improvements.Alan Mishchenko2011-03-121-7/+2
* initial commit of public abcAlan Mishchenko2010-11-011-46/+35
* Version abc90505Alan Mishchenko2009-05-051-2/+2
* Version abc90410Alan Mishchenko2009-04-101-2/+2
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90329Alan Mishchenko2009-03-291-1/+3
* Version abc90321Alan Mishchenko2009-03-211-22/+22
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 19:26:55 +0000