Scalable SOP manipulation package.

1 files changed, 485 insertions, 0 deletions

diff --git a/src/base/pla/plaCom.c b/src/base/pla/plaCom.c
new file mode 100644
index 00000000..5ccfe98b
--- /dev/null
+++ b/src/base/pla/plaCom.c
@@ -0,0 +1,485 @@
+/**CFile****************************************************************
+
+  FileName    [plaCom.c]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [SOP manager.]
+
+  Synopsis    [Scalable SOP transformations.]
+
+  Author      [Alan Mishchenko]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - March 18, 2015.]
+
+  Revision    [$Id: plaCom.c,v 1.00 2014/09/12 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+
+#include "pla.h"
+#include "base/main/mainInt.h"
+
+ABC_NAMESPACE_IMPL_START
+
+
+////////////////////////////////////////////////////////////////////////
+///                        DECLARATIONS                              ///
+////////////////////////////////////////////////////////////////////////
+
+static int  Abc_CommandReadPla  ( Abc_Frame_t * pAbc, int argc, char ** argv );
+static int  Abc_CommandWritePla ( Abc_Frame_t * pAbc, int argc, char ** argv );
+static int  Abc_CommandPs       ( Abc_Frame_t * pAbc, int argc, char ** argv );
+static int  Abc_CommandGen      ( Abc_Frame_t * pAbc, int argc, char ** argv );
+static int  Abc_CommandMerge    ( Abc_Frame_t * pAbc, int argc, char ** argv );
+static int  Abc_CommandTest     ( Abc_Frame_t * pAbc, int argc, char ** argv );
+
+static inline Pla_Man_t * Pla_AbcGetMan( Abc_Frame_t * pAbc )                    { return (Pla_Man_t *)pAbc->pAbcPla;                      }
+static inline void        Pla_AbcFreeMan( Abc_Frame_t * pAbc )                   { if ( pAbc->pAbcPla ) Pla_ManFree(Pla_AbcGetMan(pAbc));  }
+static inline void        Pla_AbcUpdateMan( Abc_Frame_t * pAbc, Pla_Man_t * p )  { Pla_AbcFreeMan(pAbc); pAbc->pAbcPla = p;                }
+
+////////////////////////////////////////////////////////////////////////
+///                     FUNCTION DEFINITIONS                         ///
+////////////////////////////////////////////////////////////////////////
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+void Pla_Init( Abc_Frame_t * pAbc )
+{
+    Cmd_CommandAdd( pAbc, "Two-level", "|read",       Abc_CommandReadPla,   0 );
+    Cmd_CommandAdd( pAbc, "Two-level", "|write",      Abc_CommandWritePla,  0 );
+    Cmd_CommandAdd( pAbc, "Two-level", "|ps",         Abc_CommandPs,        0 );
+    Cmd_CommandAdd( pAbc, "Two-level", "|gen",        Abc_CommandGen,       0 );
+    Cmd_CommandAdd( pAbc, "Two-level", "|merge",      Abc_CommandMerge,     0 );
+    Cmd_CommandAdd( pAbc, "Two-level", "|test",       Abc_CommandTest,      0 );
+}
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+void Pla_End( Abc_Frame_t * pAbc )
+{
+    Pla_AbcFreeMan( pAbc );
+}
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+void Pla_SetMan( Abc_Frame_t * pAbc, Pla_Man_t * p )
+{
+    Pla_AbcUpdateMan( pAbc, p );
+}
+
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+int Abc_CommandReadPla( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    FILE * pFile;
+    Pla_Man_t * p = NULL;
+    char * pFileName = NULL;
+    int c, fVerbose  =    0;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( argc != globalUtilOptind + 1 )
+    {
+        printf( "Abc_CommandReadPla(): Input file name should be given on the command line.\n" );
+        return 0;
+    }
+    // get the file name
+    pFileName = argv[globalUtilOptind];
+    if ( (pFile = fopen( pFileName, "r" )) == NULL )
+    {
+        Abc_Print( 1, "Cannot open input file \"%s\". ", pFileName );
+        if ( (pFileName = Extra_FileGetSimilarName( pFileName, ".pla", NULL, NULL, NULL, NULL )) )
+            Abc_Print( 1, "Did you mean \"%s\"?", pFileName );
+        Abc_Print( 1, "\n" );
+        return 0;
+    }
+    fclose( pFile );
+
+    // perform reading
+    if ( !strcmp( Extra_FileNameExtension(pFileName), "pla" )  )
+        p = Pla_ReadPla( pFileName );
+    else
+    {
+        printf( "Abc_CommandReadPla(): Unknown file extension.\n" );
+        return 0;
+    }
+    Pla_AbcUpdateMan( pAbc, p );
+    return 0;
+usage:
+    Abc_Print( -2, "usage: |read [-vh] <file_name>\n" );
+    Abc_Print( -2, "\t         reads the SOP from a PLA file\n" );
+    Abc_Print( -2, "\t-v     : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h     : print the command usage\n");
+    return 1;
+}
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+int Abc_CommandWritePla( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    Pla_Man_t * p = Pla_AbcGetMan(pAbc);
+    char * pFileName = NULL;
+    int c, fVerbose  =    0;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( p == NULL )
+    {
+        Abc_Print( 1, "Abc_CommandWritePla(): There is no current design.\n" );
+        return 0;
+    }
+    if ( argc == globalUtilOptind )
+        pFileName = Extra_FileNameGenericAppend( p->pName, "_out.v" );
+    else if ( argc == globalUtilOptind + 1 )
+        pFileName = argv[globalUtilOptind];
+    else
+    {
+        printf( "Output file name should be given on the command line.\n" );
+        return 0;
+    }
+    Pla_WritePla( p, pFileName );
+    return 0;
+usage:
+    Abc_Print( -2, "usage: |write [-vh]\n" );
+    Abc_Print( -2, "\t         writes the SOP into a PLA file\n" );
+    Abc_Print( -2, "\t-v     : toggle printing verbose information [default = %s]\n",        fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h     : print the command usage\n");
+    return 1;
+}
+
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+int Abc_CommandPs( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    Pla_Man_t * p = Pla_AbcGetMan(pAbc);
+    int fShowMulti   = 0;
+    int fShowAdder   = 0;
+    int fDistrib     = 0;
+    int c, fVerbose  = 0;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "madvh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'm':
+            fShowMulti ^= 1;
+            break;
+        case 'a':
+            fShowAdder ^= 1;
+            break;
+        case 'd':
+            fDistrib ^= 1;
+            break;
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( p == NULL )
+    {
+        Abc_Print( 1, "Abc_CommandPs(): There is no current design.\n" );
+        return 0;
+    }
+    Pla_ManPrintStats( p, fVerbose );
+    return 0;
+usage:
+    Abc_Print( -2, "usage: |ps [-madvh]\n" );
+    Abc_Print( -2, "\t         prints statistics\n" );
+    Abc_Print( -2, "\t-m     : toggle printing multipliers [default = %s]\n",         fShowMulti? "yes": "no" );
+    Abc_Print( -2, "\t-a     : toggle printing adders [default = %s]\n",              fShowAdder? "yes": "no" );
+    Abc_Print( -2, "\t-d     : toggle printing distrubition [default = %s]\n",        fDistrib? "yes": "no" );
+    Abc_Print( -2, "\t-v     : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h     : print the command usage\n");
+    return 1;
+}
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+int Abc_CommandGen( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    Pla_Man_t * p  = NULL;
+    int nInputs      =  8;
+    int nOutputs     =  1;
+    int nCubes       = 20;
+    int Seed         =  0;
+    int fPrimes      =  0;
+    int c, fVerbose  =  0;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "IOPSpvh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'I':
+            if ( globalUtilOptind >= argc )
+            {
+                Abc_Print( -1, "Command line switch \"-I\" should be followed by an integer.\n" );
+                goto usage;
+            }
+            nInputs = atoi(argv[globalUtilOptind]);
+            globalUtilOptind++;
+            if ( nInputs < 0 )
+                goto usage;
+            break;
+        case 'O':
+            if ( globalUtilOptind >= argc )
+            {
+                Abc_Print( -1, "Command line switch \"-O\" should be followed by an integer.\n" );
+                goto usage;
+            }
+            nOutputs = atoi(argv[globalUtilOptind]);
+            globalUtilOptind++;
+            if ( nOutputs < 0 )
+                goto usage;
+            break;
+        case 'P':
+            if ( globalUtilOptind >= argc )
+            {
+                Abc_Print( -1, "Command line switch \"-P\" should be followed by an integer.\n" );
+                goto usage;
+            }
+            nCubes = atoi(argv[globalUtilOptind]);
+            globalUtilOptind++;
+            if ( nCubes < 0 )
+                goto usage;
+            break;
+        case 'S':
+            if ( globalUtilOptind >= argc )
+            {
+                Abc_Print( -1, "Command line switch \"-S\" should be followed by an integer.\n" );
+                goto usage;
+            }
+            Seed = atoi(argv[globalUtilOptind]);
+            globalUtilOptind++;
+            if ( Seed < 0 )
+                goto usage;
+            break;
+        case 'p':
+            fPrimes ^= 1;
+            break;
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( fPrimes )
+        p = Pla_ManPrimeDetector( nInputs );
+    else
+    {
+        Gia_ManRandom( 1 );
+        for ( c = 0; c < Seed; c++ )
+            Gia_ManRandom( 0 );
+        p = Pla_ManGenerate( nInputs, nOutputs, nCubes, fVerbose );
+    }
+    Pla_AbcUpdateMan( pAbc, p );
+    return 0;
+usage:
+    Abc_Print( -2, "usage: |gen [-IOPS num] [-pvh]\n" );
+    Abc_Print( -2, "\t         generate random or specialized SOP\n" );
+    Abc_Print( -2, "\t-I num : the number of inputs [default = %d]\n", nInputs );
+    Abc_Print( -2, "\t-O num : the number of outputs [default = %d]\n", nOutputs );
+    Abc_Print( -2, "\t-P num : the number of products [default = %d]\n", nCubes );
+    Abc_Print( -2, "\t-S num : ramdom seed (0 <= num <= 1000) [default = %d]\n", Seed );
+    Abc_Print( -2, "\t-p     : toggle generating prime detector [default = %s]\n", fPrimes? "yes": "no" );
+    Abc_Print( -2, "\t-v     : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h     : print the command usage\n");
+    return 1;
+}
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []    
+
+  SeeAlso     []
+
+******************************************************************************/
+int Abc_CommandMerge( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    Pla_Man_t * p = Pla_AbcGetMan(pAbc);
+    int c, fMulti = 0, fVerbose  = 0;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "mvh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'm':
+            fMulti ^= 1;
+            break;
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( p == NULL )
+    {
+        Abc_Print( 1, "Abc_CommandMerge(): There is no current design.\n" );
+        return 0;
+    }
+    // transform
+    Pla_ManDist1Merge( p );
+    return 0;
+usage:
+    Abc_Print( -2, "usage: |merge [-mvh]\n" );
+    Abc_Print( -2, "\t         performs distance-1 merge using cube hashing\n" );
+    Abc_Print( -2, "\t-v     : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h     : print the command usage\n");
+    return 1;
+}
+
+/**Function********************************************************************
+
+  Synopsis    []
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+******************************************************************************/
+int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
+{
+    Pla_Man_t * p = Pla_AbcGetMan(pAbc);
+    int c, fVerbose  = 0;
+    Extra_UtilGetoptReset();
+    while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF )
+    {
+        switch ( c )
+        {
+        case 'v':
+            fVerbose ^= 1;
+            break;
+        case 'h':
+            goto usage;
+        default:
+            goto usage;
+        }
+    }
+    if ( p == NULL )
+    {
+        Abc_Print( 1, "Abc_CommandTest(): There is no current design.\n" );
+        return 0;
+    }
+    Pla_ManHashDist1NumTest( p );
+    //Pla_ManConvertFromBits( p );
+    //Pla_ManConvertToBits( p );
+    return 0;
+usage:
+    Abc_Print( -2, "usage: |test [-vh]\n" );
+    Abc_Print( -2, "\t         experiments with SOPs\n" );
+    Abc_Print( -2, "\t-v     : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
+    Abc_Print( -2, "\t-h     : print the command usage\n");
+    return 1;
+}
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////
+
+
+ABC_NAMESPACE_IMPL_END
+