1 /**CFile****************************************************************
2
3 FileName [ifMatch2.c]
4
5 SystemName [ABC: Logic synthesis and verification system.]
6
7 PackageName [FPGA mapping based on priority cuts.]
8
9 Synopsis [Specialized matching.]
10
11 Author [Alan Mishchenko]
12
13 Affiliation [UC Berkeley]
14
15 Date [Ver. 1.0. Started - September 1, 2009.]
16
17 Revision [$Id: ifMatch2.c,v 1.00 2009/09/01 00:00:00 alanmi Exp $]
18
19 ***********************************************************************/
20
21 #include "if.h"
22
23 ABC_NAMESPACE_IMPL_START
24
25
26 ////////////////////////////////////////////////////////////////////////
27 /// DECLARATIONS ///
28 ////////////////////////////////////////////////////////////////////////
29
30 ////////////////////////////////////////////////////////////////////////
31 /// FUNCTION DEFINITIONS ///
32 ////////////////////////////////////////////////////////////////////////
33
34 /**Function*************************************************************
35
36 Synopsis []
37
38 Description []
39
40 SideEffects []
41
42 SeeAlso []
43
44 ***********************************************************************/
Bat_ManFuncSetupTable()45 void Bat_ManFuncSetupTable()
46 {
47 }
Bat_ManFuncSetdownTable()48 void Bat_ManFuncSetdownTable()
49 {
50 }
Bat_ManCellFuncLookup(void * pMan,unsigned * pTruth,int nVars,int nLeaves,char * pStr)51 int Bat_ManCellFuncLookup( void * pMan, unsigned * pTruth, int nVars, int nLeaves, char * pStr )
52 {
53 return 1;
54 }
55
56 ////////////////////////////////////////////////////////////////////////
57 /// END OF FILE ///
58 ////////////////////////////////////////////////////////////////////////
59
60
61 ABC_NAMESPACE_IMPL_END
62
63