Version abc70930

1 files changed, 0 insertions, 288 deletions

diff --git a/src/opt/sim/simMan.c b/src/opt/sim/simMan.c
deleted file mode 100644
index 3b50ad84..00000000
--- a/src/opt/sim/simMan.c
+++ /dev/null
@@ -1,288 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [simMan.c]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Network and node package.]
-
-  Synopsis    [Simulation manager.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: simMan.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
-
-***********************************************************************/
-
-#include "abc.h"
-#include "sim.h"
-
-////////////////////////////////////////////////////////////////////////
-///                        DECLARATIONS                              ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                     FUNCTION DEFINITIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-/**Function*************************************************************
-
-  Synopsis    [Starts the simulation manager.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-Sym_Man_t * Sym_ManStart( Abc_Ntk_t * pNtk, int fVerbose )
-{
-    Sym_Man_t * p;
-    int i, v; 
-    // start the manager
-    p = ALLOC( Sym_Man_t, 1 );
-    memset( p, 0, sizeof(Sym_Man_t) );
-    p->pNtk = pNtk;
-    p->vNodes     = Abc_NtkDfs( pNtk, 0 );
-    p->nInputs    = Abc_NtkCiNum(p->pNtk);
-    p->nOutputs   = Abc_NtkCoNum(p->pNtk);
-    // internal simulation information
-    p->nSimWords  = SIM_NUM_WORDS(p->nInputs);
-    p->vSim       = Sim_UtilInfoAlloc( Abc_NtkObjNumMax(pNtk), p->nSimWords, 0 );
-    // symmetry info for each output
-    p->vMatrSymms    = Vec_PtrStart( p->nOutputs );
-    p->vMatrNonSymms = Vec_PtrStart( p->nOutputs );
-    p->vPairsTotal   = Vec_IntStart( p->nOutputs );
-    p->vPairsSym     = Vec_IntStart( p->nOutputs );
-    p->vPairsNonSym  = Vec_IntStart( p->nOutputs );
-    for ( i = 0; i < p->nOutputs; i++ )
-    {
-        p->vMatrSymms->pArray[i]    = Extra_BitMatrixStart( p->nInputs );
-        p->vMatrNonSymms->pArray[i] = Extra_BitMatrixStart( p->nInputs );
-    }
-    // temporary patterns
-    p->uPatRand = ALLOC( unsigned, p->nSimWords );
-    p->uPatCol  = ALLOC( unsigned, p->nSimWords );
-    p->uPatRow  = ALLOC( unsigned, p->nSimWords );
-    p->vVarsU   = Vec_IntStart( 100 );
-    p->vVarsV   = Vec_IntStart( 100 );
-    // compute supports
-    p->vSuppFun  = Sim_ComputeFunSupp( pNtk, fVerbose );
-    p->vSupports = Vec_VecStart( p->nOutputs );
-    for ( i = 0; i < p->nOutputs; i++ )
-        for ( v = 0; v < p->nInputs; v++ )
-            if ( Sim_SuppFunHasVar( p->vSuppFun, i, v ) )
-                Vec_VecPush( p->vSupports, i, (void *)v );
-    return p;
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Stops the simulation manager.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Sym_ManStop( Sym_Man_t * p )
-{
-    int i;
-    Sym_ManPrintStats( p );
-    if ( p->vSuppFun )     Sim_UtilInfoFree( p->vSuppFun );   
-    if ( p->vSim )         Sim_UtilInfoFree( p->vSim );   
-    if ( p->vNodes )       Vec_PtrFree( p->vNodes );
-    if ( p->vSupports )    Vec_VecFree( p->vSupports );
-    for ( i = 0; i < p->nOutputs; i++ )
-    {
-        Extra_BitMatrixStop( p->vMatrSymms->pArray[i] );
-        Extra_BitMatrixStop( p->vMatrNonSymms->pArray[i] );
-    }
-    Vec_IntFree( p->vVarsU );
-    Vec_IntFree( p->vVarsV );
-    Vec_PtrFree( p->vMatrSymms );
-    Vec_PtrFree( p->vMatrNonSymms );
-    Vec_IntFree( p->vPairsTotal );
-    Vec_IntFree( p->vPairsSym );
-    Vec_IntFree( p->vPairsNonSym );
-    FREE( p->uPatRand );
-    FREE( p->uPatCol );
-    FREE( p->uPatRow );
-    free( p );
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Prints the manager statisticis.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Sym_ManPrintStats( Sym_Man_t * p )
-{
-//    printf( "Inputs = %5d. Outputs = %5d. Sim words = %5d.\n", 
-//        Abc_NtkCiNum(p->pNtk), Abc_NtkCoNum(p->pNtk), p->nSimWords );
-    printf( "Total symm         = %8d.\n", p->nPairsSymm );
-    printf( "Structural symm    = %8d.\n", p->nPairsSymmStr );
-    printf( "Total non-sym      = %8d.\n", p->nPairsNonSymm );
-    printf( "Total var pairs    = %8d.\n", p->nPairsTotal );
-    printf( "Sat runs SAT       = %8d.\n", p->nSatRunsSat );
-    printf( "Sat runs UNSAT     = %8d.\n", p->nSatRunsUnsat );
-    PRT( "Structural  ", p->timeStruct );
-    PRT( "Simulation  ", p->timeSim );
-    PRT( "Matrix      ", p->timeMatr );
-    PRT( "Counting    ", p->timeCount );
-    PRT( "Fraiging    ", p->timeFraig );
-    PRT( "SAT         ", p->timeSat );
-    PRT( "TOTAL       ", p->timeTotal );
-}
-
-
-/**Function*************************************************************
-
-  Synopsis    [Starts the simulation manager.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-Sim_Man_t * Sim_ManStart( Abc_Ntk_t * pNtk, int fLightweight )
-{
-    Sim_Man_t * p;
-    // start the manager
-    p = ALLOC( Sim_Man_t, 1 );
-    memset( p, 0, sizeof(Sim_Man_t) );
-    p->pNtk = pNtk;
-    p->nInputs    = Abc_NtkCiNum(p->pNtk);
-    p->nOutputs   = Abc_NtkCoNum(p->pNtk);
-    // internal simulation information
-    p->nSimBits   = 2048;
-    p->nSimWords  = SIM_NUM_WORDS(p->nSimBits);
-    p->vSim0      = Sim_UtilInfoAlloc( Abc_NtkObjNumMax(pNtk), p->nSimWords, 0 );
-    p->fLightweight = fLightweight;
-    if (!p->fLightweight) {
-        p->vSim1      = Sim_UtilInfoAlloc( Abc_NtkObjNumMax(pNtk), p->nSimWords, 0 );
-        // support information
-        p->nSuppBits  = Abc_NtkCiNum(pNtk);
-        p->nSuppWords = SIM_NUM_WORDS(p->nSuppBits);
-        p->vSuppStr   = Sim_ComputeStrSupp( pNtk );
-        p->vSuppFun   = Sim_UtilInfoAlloc( Abc_NtkCoNum(p->pNtk),  p->nSuppWords, 1 );
-        // other data
-        p->pMmPat     = Extra_MmFixedStart( sizeof(Sim_Pat_t) + p->nSuppWords * sizeof(unsigned) ); 
-        p->vFifo      = Vec_PtrAlloc( 100 );
-        p->vDiffs     = Vec_IntAlloc( 100 );
-        // allocate support targets (array of unresolved outputs for each input)
-        p->vSuppTargs = Vec_VecStart( p->nInputs );
-    }
-    return p;
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Stops the simulation manager.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Sim_ManStop( Sim_Man_t * p )
-{
-    Sim_ManPrintStats( p );
-    if ( p->vSim0 )        Sim_UtilInfoFree( p->vSim0 );       
-    if ( p->vSim1 )        Sim_UtilInfoFree( p->vSim1 );       
-    if ( p->vSuppStr )     Sim_UtilInfoFree( p->vSuppStr );    
-//    if ( p->vSuppFun )     Sim_UtilInfoFree( p->vSuppFun );    
-    if ( p->vSuppTargs )   Vec_VecFree( p->vSuppTargs );
-    if ( p->pMmPat )       Extra_MmFixedStop( p->pMmPat );
-    if ( p->vFifo )        Vec_PtrFree( p->vFifo );
-    if ( p->vDiffs )       Vec_IntFree( p->vDiffs );
-    free( p );
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Prints the manager statisticis.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Sim_ManPrintStats( Sim_Man_t * p )
-{
-//    printf( "Inputs = %5d. Outputs = %5d. Sim words = %5d.\n", 
-//        Abc_NtkCiNum(p->pNtk), Abc_NtkCoNum(p->pNtk), p->nSimWords );
-    printf( "Total func supps   = %8d.\n", Sim_UtilCountSuppSizes(p, 0) );
-    printf( "Total struct supps = %8d.\n", Sim_UtilCountSuppSizes(p, 1) );
-    printf( "Sat runs SAT       = %8d.\n", p->nSatRunsSat );
-    printf( "Sat runs UNSAT     = %8d.\n", p->nSatRunsUnsat );
-    PRT( "Simulation  ", p->timeSim );
-    PRT( "Traversal   ", p->timeTrav );
-    PRT( "Fraiging    ", p->timeFraig );
-    PRT( "SAT         ", p->timeSat );
-    PRT( "TOTAL       ", p->timeTotal );
-}
-
-
-
-/**Function*************************************************************
-
-  Synopsis    [Returns one simulation pattern.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-Sim_Pat_t * Sim_ManPatAlloc( Sim_Man_t * p )
-{
-    Sim_Pat_t * pPat;
-    pPat = (Sim_Pat_t *)Extra_MmFixedEntryFetch( p->pMmPat );
-    pPat->Output = -1;
-    pPat->pData  = (unsigned *)((char *)pPat + sizeof(Sim_Pat_t));
-    memset( pPat->pData, 0, p->nSuppWords * sizeof(unsigned) );
-    return pPat;
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Returns one simulation pattern.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Sim_ManPatFree( Sim_Man_t * p, Sim_Pat_t * pPat )
-{
-    Extra_MmFixedEntryRecycle( p->pMmPat, (char *)pPat );
-}
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-
-