bacPrsTrans.c File Reference

#include "bac.h"
#include "bacPrs.h"

Include dependency graph for bacPrsTrans.c:

Go to the source code of this file.

Classes
struct	Bac_Trip_t_

Typedefs
typedef typedefABC_NAMESPACE_IMPL_START struct Bac_Trip_t_	Bac_Trip_t
	DECLARATIONS ///.

Functions
int	Psr_ManRangeSizeArray (Psr_Ntk_t *p, Vec_Int_t *vSlices, int Start, int Stop)

Typedef Documentation

Bac_Trip_t

typedef typedefABC_NAMESPACE_IMPL_START struct Bac_Trip_t_ Bac_Trip_t

DECLARATIONS ///.

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

FileName [bacPrsTrans.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Parse tree to netlist transformation.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - November 29, 2014.]

Revision [

Id

bacPrsTrans.c,v 1.00 2014/11/29 00:00:00 alanmi Exp

]

Definition at line 30 of file bacPrsTrans.c.

Function Documentation

Psr_ManRangeSizeArray()

int Psr_ManRangeSizeArray	(	Psr_Ntk_t *	p,
		Vec_Int_t *	vSlices,
		int	Start,
		int	Stop )

Definition at line 182 of file bacPrsTrans.c.

{
    int i, Sig, Count = 0;
    assert( Vec_IntSize(vSlices) > 0 );
    Vec_IntForEachEntryStartStop( vSlices, Sig, i, Start, Stop )
        Count += Psr_ManRangeSizeSignal( p, Sig );
    return Count;
}