retLvalue.c File Reference

#include "retInt.h"

Include dependency graph for retLvalue.c:

Go to the source code of this file.

Enumerations
enum	{ ABC_RET_UPDATE_FAIL , ABC_RET_UPDATE_NO , ABC_RET_UPDATE_YES }
	DECLARATIONS ///. More...

Functions
int	Abc_NtkRetimeLValue (Abc_Ntk_t *pNtk, int nIterLimit, int fVerbose)
	FUNCTION DEFINITIONS ///.
void	Abc_ManCollectLatches_rec (Abc_Obj_t *pObj, Vec_Ptr_t *vLatches)

Enumeration Type Documentation

anonymous enum

anonymous enum

DECLARATIONS ///.

CFile****************************************************************

FileName [retLvalue.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Retiming package.]

Synopsis [Implementation of Pan's retiming algorithm.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - Oct 31, 2006.]

Revision [

Id

retLvalue.c,v 1.00 2006/10/31 00:00:00 alanmi Exp

]

Enumerator
ABC_RET_UPDATE_FAIL
ABC_RET_UPDATE_NO
ABC_RET_UPDATE_YES

Definition at line 31 of file retLvalue.c.

{ ABC_RET_UPDATE_FAIL, ABC_RET_UPDATE_NO, ABC_RET_UPDATE_YES };

Function Documentation

Abc_ManCollectLatches_rec()

void Abc_ManCollectLatches_rec	(	Abc_Obj_t *	pObj,
		Vec_Ptr_t *	vLatches )

Function*************************************************************

Synopsis [Collects latches in the topological order.]

Description []

SideEffects []

SeeAlso []

Definition at line 309 of file retLvalue.c.

{
    Abc_Obj_t * pDriver;
    if ( !Abc_ObjIsLatch(pObj) )
        return;
    // skip already collected latches
    if ( Abc_NodeIsTravIdCurrent(pObj)  )
        return;
    Abc_NodeSetTravIdCurrent(pObj);
    // get the driver node feeding into the latch
    pDriver = Abc_ObjFanin0(Abc_ObjFanin0(pObj));
    // call recursively if the driver looks like a latch output
    if ( Abc_ObjIsBo(pDriver) )
        Abc_ManCollectLatches_rec( Abc_ObjFanin0(pDriver), vLatches );
    // collect the latch
    Vec_PtrPush( vLatches, pObj );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_NtkRetimeLValue()

int Abc_NtkRetimeLValue	(	Abc_Ntk_t *	pNtk,
		int	nIterLimit,
		int	fVerbose )

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [Implements Pan's retiming algorithm.]

Description []

SideEffects []

SeeAlso []

Definition at line 61 of file retLvalue.c.

{
    Vec_Int_t * vLags;
    int nLatches = Abc_NtkLatchNum(pNtk);
    assert( Abc_NtkIsLogic( pNtk ) );
    // get the lags
    vLags = Abc_NtkRetimeGetLags( pNtk, nIterLimit, fVerbose );
    // compute the retiming
//    Abc_NtkRetimeUsingLags( pNtk, vLags, fVerbose );
    Vec_IntFree( vLags );
    // fix the COs
//    Abc_NtkLogicMakeSimpleCos( pNtk, 0 );
    // check for correctness
    if ( !Abc_NtkCheck( pNtk ) )
        fprintf( stdout, "Abc_NtkRetimeLValue(): Network check has failed.\n" );
    // return the number of latches saved
    return nLatches - Abc_NtkLatchNum(pNtk);
}

Here is the call graph for this function:

Here is the caller graph for this function: