ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ac_wrapper.h
Go to the documentation of this file.
1
18
19#pragma once
20#ifndef __ACD_WRAPPER_H_
21#define __ACD_WRAPPER_H_
22
23#ifdef _MSC_VER
24# include <intrin.h>
25# define __builtin_popcount __popcnt
26//# define __builtin_popcountl __popcnt64 // the compiler does not find __popcnt64
27# define __builtin_popcountl __popcnt
28#endif
29
31#include "map/if/if.h"
32
34
35int acd_evaluate( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival );
36int acd_decompose( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition );
37int acd2_evaluate( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival );
38int acd2_decompose( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition );
39
40int acdXX_evaluate( word * pTruth, unsigned lutSize, unsigned nVars );
41int acdXX_decompose( word * pTruth, unsigned lutSize, unsigned nVars, unsigned char *decomposition );
42
44
45#endif
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
int acd_decompose(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition)
int acdXX_decompose(word *pTruth, unsigned lutSize, unsigned nVars, unsigned char *decomposition)
int acdXX_evaluate(word *pTruth, unsigned lutSize, unsigned nVars)
int acd2_evaluate(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival)
int acd2_decompose(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition)
ABC_NAMESPACE_HEADER_START int acd_evaluate(word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival)
unsigned __int64 word
DECLARATIONS ///.
Definition kitPerm.c:36