ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ifMatch2.c File Reference
#include "if.h"
Include dependency graph for ifMatch2.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START void Bat_ManFuncSetupTable ()
 DECLARATIONS ///.
 
void Bat_ManFuncSetdownTable ()
 
int Bat_ManCellFuncLookup (void *pMan, unsigned *pTruth, int nVars, int nLeaves, char *pStr)
 

Function Documentation

◆ Bat_ManCellFuncLookup()

int Bat_ManCellFuncLookup ( void * pMan,
unsigned * pTruth,
int nVars,
int nLeaves,
char * pStr )

Definition at line 51 of file ifMatch2.c.

52{
53 return 1;
54}
Here is the caller graph for this function:

◆ Bat_ManFuncSetdownTable()

void Bat_ManFuncSetdownTable ( )

Definition at line 48 of file ifMatch2.c.

49{
50}
Here is the caller graph for this function:

◆ Bat_ManFuncSetupTable()

ABC_NAMESPACE_IMPL_START void Bat_ManFuncSetupTable ( )

DECLARATIONS ///.

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

FileName [ifMatch2.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [FPGA mapping based on priority cuts.]

Synopsis [Specialized matching.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 1, 2009.]

Revision [

Id
ifMatch2.c,v 1.00 2009/09/01 00:00:00 alanmi Exp

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file ifMatch2.c.

46{
47}
Here is the caller graph for this function: