abc/src/opt/sim/simSeq.c
/**Function*************************************************************

  Synopsis    [Simulates one frame of sequential circuit.]

  Description [Assumes that the latches and POs are already initialized.
  In the end transfers the data to the latches of the next frame.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Simulates one frame of sequential circuit.]

Description [Assumes that the latches and POs are already initialized.
In the end transfers the data to the latches of the next frame.]




Function Synopsis [ Simulates one frame of sequential circuit . ] Description [ Assumes that the latches and POs are already initialized . In the end transfers the data to the latches of the next frame . ]
void Sim_SimulateSeqFrame( Vec_Ptr_t * vInfo, Abc_Ntk_t * pNtk, int iFrames, int nWords, int fTransfer )
{
    Abc_Obj_t * pNode;
    int i;
    Abc_NtkForEachNode( pNtk, pNode, i )
        Sim_UtilSimulateNodeOne( pNode, vInfo, nWords, iFrames * nWords );
    Abc_NtkForEachPo( pNtk, pNode, i )
        Sim_UtilTransferNodeOne( pNode, vInfo, nWords, iFrames * nWords, 0 );
    if ( !fTransfer )
        return;
    Abc_NtkForEachLatch( pNtk, pNode, i )
        Sim_UtilTransferNodeOne( pNode, vInfo, nWords, iFrames * nWords, 1 );
}
void Sim_SimulateSeqFrame ( Vec_Ptr_t * vInfo , Abc_Ntk_t * pNtk , int iFrames , int nWords , int fTransfer ) { Abc_Obj_t * pNode ; int i ; Abc_NtkForEachNode ( pNtk , pNode , i ) Sim_UtilSimulateNodeOne ( pNode , vInfo , nWords , iFrames * nWords ) ; Abc_NtkForEachPo ( pNtk , pNode , i ) Sim_UtilTransferNodeOne ( pNode , vInfo , nWords , iFrames * nWords , 0 ) ; if ( ! fTransfer ) return ; Abc_NtkForEachLatch ( pNtk , pNode , i ) Sim_UtilTransferNodeOne ( pNode , vInfo , nWords , iFrames * nWords , 1 ) ; }
Function
Synopsis    [Simulates one frame of sequential circuit.]
Function Synopsis [ Simulates one frame of sequential circuit . ]