cecSplit.c File Reference

#include <math.h>
#include "aig/gia/gia.h"
#include "aig/gia/giaAig.h"
#include "sat/cnf/cnf.h"
#include "sat/bsat/satSolver.h"
#include "misc/util/utilTruth.h"

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START int	Cec_GiaSplitTest (Gia_Man_t *p, int nProcs, int nTimeOut, int nIterMax, int LookAhead, int fVerbose, int fVeryVerbose)
	DECLARATIONS ///. More...

Function Documentation

ABC_NAMESPACE_IMPL_START int Cec_GiaSplitTest	(	Gia_Man_t *	p,
		int	nProcs,
		int	nTimeOut,
		int	nIterMax,
		int	LookAhead,
		int	fVerbose,
		int	fVeryVerbose
	)

DECLARATIONS ///.

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

FileName [cecSplit.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Combinational equivalence checking.]

Synopsis [Cofactoring for combinational miters.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

cecSplit.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 49 of file cecSplit.c.

{ return -1; }