Command "genpop".

Author: alanminko

src/aig/gia/giaTruth.c

@@ -22,6 +22,7 @@
 #include "misc/vec/vecMem.h"
 #include "misc/vec/vecWec.h"
 #include "misc/util/utilTruth.h"
+#include "bool/lucky/lucky.h"
 #include "opt/dau/dau.h"
 
 ABC_NAMESPACE_IMPL_START
@@ -809,10 +810,73 @@ Gia_Man_t * Gia_ManIsoNpnReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fV
     return pNew;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Gia_ManNodeFunctionProfile( Gia_Man_t * p, int nVars )
+{
+    int fCanonicize = 1;
+    Gia_Obj_t * pObj;
+    Vec_Int_t * vLeaves = Vec_IntAlloc( 100 );
+    int nWords = Abc_Truth6WordNum( nVars );
+    Vec_Mem_t * pTtMem  = Vec_MemAlloc( nWords, 12 ); // supports up to nVars words
+    Vec_MemHashAlloc( pTtMem, 1000 );
+    Vec_Int_t * vCounts = Vec_IntAlloc( 100 );
+    permInfo * pi = setPermInfoPtr( nVars );
+    word pAuxWord[DAU_MAX_WORD], pAuxWord1[DAU_MAX_WORD], Truth[DAU_MAX_WORD], * pTruth; int i;
+    assert( nVars <= 7 );
+    Gia_ObjComputeTruthTableStart( p, nVars );
+    Gia_ManForEachAnd( p, pObj, i ) {
+        if ( Gia_ManSuppSize(p, &i, 1) != nVars )
+            continue;
+        Gia_ManCollectCis( p, &i, 1, vLeaves );
+        assert( Vec_IntSize(vLeaves) == nVars );
+        pTruth = Gia_ObjComputeTruthTableCut( p, pObj, vLeaves );
+        if ( fCanonicize ) {
+            memcpy( Truth, pTruth, sizeof(word) * nWords );
+            simpleMinimal( Truth, pAuxWord, pAuxWord1, pi, nVars ); // NPN canonical form
+        }
+        else {
+            memcpy( Truth, pTruth, sizeof(word) * nWords );
+        }
+        {
+            int nEntries = Vec_MemEntryNum( pTtMem );
+            int Value    = Vec_MemHashInsert( pTtMem, Truth );
+            if ( Vec_MemEntryNum( pTtMem ) == nEntries )
+                Vec_IntAddToEntry( vCounts, Value, 1 );
+            else
+            {
+                assert( Value == nEntries );
+                Vec_IntPush( vCounts, 1 );
+            }
+        }
+    }
+    for ( i = 0; i < Vec_MemEntryNum(pTtMem); i++ ) {
+        word * pCanon = Vec_MemReadEntry( pTtMem, i );
+        int Count     = Vec_IntEntry( vCounts, i );
+        Abc_TtPrintHexRev( stdout, pCanon, nVars );
+        printf( " %d\n", Count );
+    }
+    Gia_ObjComputeTruthTableStop( p );
+    Vec_IntFree( vLeaves );
+    Vec_IntFree( vCounts );
+    Vec_MemHashFree( pTtMem );
+    Vec_MemFree( pTtMem );
+    freePermInfoPtr( pi );
+}
+
+
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////
 
 
 ABC_NAMESPACE_IMPL_END
-

src/base/abci/abc.c

@@ -229,6 +229,7 @@ static int Abc_CommandEspresso               ( Abc_Frame_t * pAbc, int argc, cha
 static int Abc_CommandGen                    ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandGenTF                  ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandGenAT                  ( Abc_Frame_t * pAbc, int argc, char ** argv );
+static int Abc_CommandGenPop                 ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandGenFsm                 ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandCover                  ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int Abc_CommandDouble                 ( Abc_Frame_t * pAbc, int argc, char ** argv );
@@ -1060,6 +1061,7 @@ void Abc_Init( Abc_Frame_t * pAbc )
     Cmd_CommandAdd( pAbc, "Various",      "gen",           Abc_CommandGen,              0 );
     Cmd_CommandAdd( pAbc, "Various",      "gentf",         Abc_CommandGenTF,            0 );
     Cmd_CommandAdd( pAbc, "Various",      "genat",         Abc_CommandGenAT,            0 );
+    Cmd_CommandAdd( pAbc, "Various",      "genpop",        Abc_CommandGenPop,           0 );
     Cmd_CommandAdd( pAbc, "Various",      "genfsm",        Abc_CommandGenFsm,           0 );
     Cmd_CommandAdd( pAbc, "Various",      "cover",         Abc_CommandCover,            1 );
     Cmd_CommandAdd( pAbc, "Various",      "double",        Abc_CommandDouble,           1 );
@@ -16031,6 +16033,81 @@ int Abc_CommandGenAT( Abc_Frame_t * pAbc, int argc, char ** argv )
     return 1;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+int Abc_CommandGenPop( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    extern Abc_Ntk_t * Abc_NtkLutCascadeFromPopcountLuts( int nVars, int nLutSize, int fVerbose, char * pFileName );
+    char * pFileName = NULL;
+    Abc_Ntk_t * pNtk = NULL;
+    int c, nVars = 10, nLutSize = 6, fVerbose = 0;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "NKvh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'N':
+            if ( globalUtilOptind >= argc )
+            {
+                Abc_Print( -1, "Command line switch \"-N\" should be followed by an integer.\n" );
+                goto usage;
+            }
+            nVars = atoi(argv[globalUtilOptind]);
+            globalUtilOptind++;
+            if ( nVars < 0 )
+                goto usage;
+            break;
+        case 'K':
+            if ( globalUtilOptind >= argc )
+            {
+                Abc_Print( -1, "Command line switch \"-K\" should be followed by an integer.\n" );
+                goto usage;
+            }
+            nLutSize = atoi(argv[globalUtilOptind]);
+            globalUtilOptind++;
+            if ( nLutSize < 0 )
+                goto usage;
+            break;
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( argc == globalUtilOptind + 1 )
+        pFileName = argv[globalUtilOptind];
+    pNtk = Abc_NtkLutCascadeFromPopcountLuts( nVars, nLutSize, fVerbose, pFileName );
+    if ( pNtk == NULL )
+    {
+        fprintf( pAbc->Err, "Deriving the network has failed.\n" );
+        return 1;
+    }
+    Abc_FrameReplaceCurrentNetwork( pAbc, pNtk );
+    return 0;
+
+usage:
+    Abc_Print( -2, "usage: genpop [-NK num] [-vh] <file.v>\n" );
+    Abc_Print( -2, "\t            generates the adder tree\n" );
+    Abc_Print( -2, "\t-N <num>  : the number of support variables [default = %d]\n", nVars );
+    Abc_Print( -2, "\t-K <num>  : the number of LUT inputs [default = %d]\n", nLutSize );
+    Abc_Print( -2, "\t-v        : prints verbose information [default = %s]\n", fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h        : print the command usage\n");
+    Abc_Print( -2, "\t-<file.v> : (optional) Verilog file name\n");
+    return 1;
+}
+
 /**Function*************************************************************
 
   Synopsis    []