1 /**CFile****************************************************************
2
3 FileName [giaIiff.c]
4
5 SystemName [ABC: Logic synthesis and verification system.]
6
7 PackageName [Scalable AIG package.]
8
9 Synopsis [Boolean matching.]
10
11 Author [Alan Mishchenko]
12
13 Affiliation [UC Berkeley]
14
15 Date [Ver. 1.0. Started - June 20, 2005.]
16
17 Revision [$Id: giaIiff.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18
19 ***********************************************************************/
20
21 #include "gia.h"
22 #include "misc/st/st.h"
23 #include "map/mio/mio.h"
24
25 ABC_NAMESPACE_IMPL_START
26
27
28 ////////////////////////////////////////////////////////////////////////
29 /// DECLARATIONS ///
30 ////////////////////////////////////////////////////////////////////////
31
32 ////////////////////////////////////////////////////////////////////////
33 /// FUNCTION DEFINITIONS ///
34 ////////////////////////////////////////////////////////////////////////
35
36 /**Function*************************************************************
37
38 Synopsis []
39
40 Description []
41
42 SideEffects []
43
44 SeeAlso []
45
46 ***********************************************************************/
Gia_ManDeriveMatches(Vec_Ptr_t ** pvNames,Vec_Wrd_t ** pvTruths,Vec_Int_t ** pvTt2Match4,Vec_Int_t ** pvConfigs,Vec_Mem_t * pvTtMem2[3],Vec_Int_t * pvTt2Match2[3])47 int Gia_ManDeriveMatches( Vec_Ptr_t ** pvNames, Vec_Wrd_t ** pvTruths, Vec_Int_t ** pvTt2Match4, Vec_Int_t ** pvConfigs, Vec_Mem_t * pvTtMem2[3], Vec_Int_t * pvTt2Match2[3] )
48 {
49 return 0;
50 }
Gia_ManIiffTest(char * pFileName,Gia_Man_t * pGia,int nLutSize,int nNumCuts,int fUseGates,int fUseCells,int fUseLuts,int fVerbose)51 Gia_Man_t * Gia_ManIiffTest( char * pFileName, Gia_Man_t * pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fUseLuts, int fVerbose )
52 {
53 return NULL;
54 }
55
56 ////////////////////////////////////////////////////////////////////////
57 /// END OF FILE ///
58 ////////////////////////////////////////////////////////////////////////
59
60
61 ABC_NAMESPACE_IMPL_END
62
63