diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-08 14:10:41 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-08 14:10:41 -0800 |
commit | 1398de7c46d3b2f4e63a6b10965f1e9f4d62742c (patch) | |
tree | 91897fd6383960f6fb11322500756781250612b0 /src/aig/gia/giaMan.c | |
parent | 3e2fad35748982c032ad30d8ccc6d5216213dff2 (diff) | |
download | abc-1398de7c46d3b2f4e63a6b10965f1e9f4d62742c.tar.gz abc-1398de7c46d3b2f4e63a6b10965f1e9f4d62742c.tar.bz2 abc-1398de7c46d3b2f4e63a6b10965f1e9f4d62742c.zip |
Integrating barrier buffers.
Diffstat (limited to 'src/aig/gia/giaMan.c')
-rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 44dff1a2..7439ba73 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -436,6 +436,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " ch =%5d", Gia_ManChoiceNum(p) ); if ( p->pManTime ) Abc_Print( 1, " box = %d", Gia_ManNonRegBoxNum(p) ); + if ( Gia_ManBufNum(p) ) + Abc_Print( 1, " buf = %d", Gia_ManBufNum(p) ); if ( pPars && pPars->fMuxXor ) printf( "\nXOR/MUX " ), Gia_ManPrintMuxStats( p ); if ( pPars && pPars->fSwitch ) |