summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcPrint.c
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Alan Mishchenko2013-07-211-1/+1
| | | | (.output_load) in BLIF reader/writer.
* 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 ↵Alan Mishchenko2013-05-251-2/+2
| | | | optimization.
* 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. ↵Niklas Een2012-10-301-111/+109
| | | | Fixed printf -> Abc_Print in some places.
* 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
|