From 8b22fd285607c2d99150ef7f1ec0c4a7d9a9b8de Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 13 Apr 2011 08:24:35 -0700
Subject: Added print-out of area in terms of LUT library.

---
 src/base/abci/abcPrint.c | 33 ++++++++++++++++++++++++++++++++-
 1 file changed, 32 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c
index 3b0ab94a..49d834d1 100644
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -24,6 +24,7 @@
 #include "main.h"
 #include "mio.h"
 #include "aig.h"
+#include "if.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -150,6 +151,34 @@ float Abc_NtkMfsTotalSwitching( Abc_Ntk_t * pNtk )
     return Result;
 }
 
+/**Function*************************************************************
+
+  Synopsis    [Compute area using LUT library.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+float Abc_NtkGetArea( Abc_Ntk_t * pNtk )
+{
+    If_Lib_t * pLutLib;
+    Abc_Obj_t * pObj;
+    float Counter = 0.0;
+    int i;
+    assert( Abc_NtkIsLogic(pNtk) );
+    // get the library
+    pLutLib = (If_Lib_t *)Abc_FrameReadLibLut();
+    if ( pLutLib && pLutLib->LutMax >= Abc_NtkGetFaninMax(pNtk) )
+    {
+        Abc_NtkForEachNode( pNtk, pObj, i )
+            Counter += pLutLib->pLutAreas[Abc_ObjFaninNum(pObj)];
+    }
+    return Counter;
+}
+
 /**Function*************************************************************
 
   Synopsis    [Print the vital stats of the network.]
@@ -229,7 +258,7 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum
     else if ( Abc_NtkHasMapping(pNtk) )
     {
         fprintf( pFile, "  area =%5.2f", Abc_NtkGetMappedArea(pNtk) );
-        fprintf( pFile, "  delay =%5.2f", Abc_NtkDelayTrace(pNtk) );
+        fprintf( pFile, "  delay =%5.2f", Abc_NtkGetArea(pNtk) );
     }
     else if ( !Abc_NtkHasBlackbox(pNtk) )
     {
@@ -247,6 +276,8 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum
         fprintf( pFile, "  lev =%3d", Abc_NtkLevel(pNtk) );
     if ( fUseLutLib && Abc_FrameReadLibLut() )
         fprintf( pFile, "  delay =%5.2f", Abc_NtkDelayTraceLut(pNtk, 1) );
+    if ( fUseLutLib && Abc_FrameReadLibLut() )
+        fprintf( pFile, "  area =%5.2f", Abc_NtkGetArea(pNtk) );
     if ( fPower )
         fprintf( pFile, "  power =%7.2f", Abc_NtkMfsTotalSwitching(pNtk) );
     if ( fGlitch )
-- 
cgit v1.2.3