ac_wrapper.cpp File Reference

#include "ac_wrapper.h"
#include "ac_decomposition.hpp"
#include "acd66.hpp"
#include "acdXX.hpp"

Include dependency graph for ac_wrapper.cpp:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START int	acd_evaluate (word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival)
int	acd_decompose (word *pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition)
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)
int	acd66_evaluate (word *pTruth, unsigned nVars)
int	acdXX_evaluate (word *pTruth, unsigned lutSize, unsigned nVars)
int	acdXX_decompose (word *pTruth, unsigned lutSize, unsigned nVars, unsigned char *decomposition)

Function Documentation

acd2_decompose()

int acd2_decompose	(	word *	pTruth,
		unsigned	nVars,
		int	lutSize,
		unsigned *	pdelay,
		unsigned char *	decomposition )

Definition at line 98 of file ac_wrapper.cpp.

{
  using namespace acd;
 
  acdXX_params ps;
  ps.lut_size = lutSize;
  ps.max_shared_vars = lutSize - 2;
  acdXX_impl acd( nVars, ps );
  acd.run( pTruth, *pdelay );
  int val = acd.compute_decomposition();
 
  if ( val != 0 )
  {
    *pdelay = 0;
    return -1;
  }
 
  *pdelay = acd.get_profile();
 
  acd.get_decomposition( decomposition );
  return 0;
}

Here is the caller graph for this function:

acd2_evaluate()

int acd2_evaluate	(	word *	pTruth,
		unsigned	nVars,
		int	lutSize,
		unsigned *	pdelay,
		unsigned *	cost,
		int	try_no_late_arrival )

Definition at line 75 of file ac_wrapper.cpp.

{
  using namespace acd;
 
  acdXX_params ps;
  ps.lut_size = lutSize;
  ps.max_shared_vars = lutSize - 2;
  acdXX_impl acd( nVars, ps );
  int val = acd.run( pTruth, *pdelay );
 
  if ( val == 0 )
  {
    *pdelay = 0;
    return -1;
  }
 
  acd.compute_decomposition();
  *pdelay = acd.get_profile();
  *cost = 2;
 
  return val;
}

Here is the caller graph for this function:

acd66_evaluate()

int acd66_evaluate ( word * pTruth, unsigned nVars )

inline

Definition at line 121 of file ac_wrapper.cpp.

{
  using namespace acd;
 
  acd66_impl acd( nVars, true, false );
 
  if ( acd.run( pTruth ) == 0 )
    return 0;
 
  return 1;
}

Here is the caller graph for this function:

acd_decompose()

int acd_decompose	(	word *	pTruth,
		unsigned	nVars,
		int	lutSize,
		unsigned *	pdelay,
		unsigned char *	decomposition )

Definition at line 51 of file ac_wrapper.cpp.

{
  using namespace acd;
 
  ac_decomposition_params ps;
  ps.lut_size = lutSize;
  ps.use_first = true;
  ac_decomposition_stats st;
 
  ac_decomposition_impl acd( nVars, ps, &st );
  acd.run( pTruth, *pdelay );
  int val = acd.compute_decomposition();
 
  if ( val < 0 )
  {
    *pdelay = 0;
    return -1;
  }
 
  *pdelay = acd.get_profile();
  acd.get_decomposition( decomposition );
  return 0;
}

Here is the caller graph for this function:

acd_evaluate()

ABC_NAMESPACE_IMPL_START int acd_evaluate	(	word *	pTruth,
		unsigned	nVars,
		int	lutSize,
		unsigned *	pdelay,
		unsigned *	cost,
		int	try_no_late_arrival )

C++File**************************************************************

FileName [ac_wrapper.cpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Ashenhurst-Curtis decomposition.]

Synopsis [Interface with the FPGA mapping package.]

Author [Alessandro Tempia Calvino]

Affiliation [EPFL]

Date [Ver. 1.0. Started - November 20, 2023.]

Definition at line 26 of file ac_wrapper.cpp.

{
  using namespace acd;
 
  ac_decomposition_params ps;
  ps.lut_size = lutSize;
  ps.use_first = false;
  ps.try_no_late_arrival = static_cast<bool>( try_no_late_arrival );
  ac_decomposition_stats st;
 
  ac_decomposition_impl acd( nVars, ps, &st );
  int val = acd.run( pTruth, *pdelay );
 
  if ( val < 0 )
  {
    *pdelay = 0;
    return -1;
  }
 
  *pdelay = acd.get_profile();
  *cost = st.num_luts;
 
  return val;
}

Here is the caller graph for this function:

acdXX_decompose()

int acdXX_decompose	(	word *	pTruth,
		unsigned	lutSize,
		unsigned	nVars,
		unsigned char *	decomposition )

Definition at line 153 of file ac_wrapper.cpp.

{
  using namespace acd;
 
  acdXX_params ps;
  ps.lut_size = lutSize;
 
  for ( int i = 0; i <= lutSize - 2; ++i )
  {
    ps.max_shared_vars = i;
    ps.min_shared_vars = i;
    acdXX_impl acd( nVars, ps );
 
    if ( acd.run( pTruth ) == 0 )
      continue;
    acd.compute_decomposition();
    acd.get_decomposition( decomposition );
    return 0;
  }
 
  return 1;
}

Here is the caller graph for this function:

acdXX_evaluate()

int acdXX_evaluate	(	word *	pTruth,
		unsigned	lutSize,
		unsigned	nVars )

Definition at line 133 of file ac_wrapper.cpp.

{
  using namespace acd;
 
  if ( lutSize == 6 )
  {
    return acd66_evaluate( pTruth, nVars );
  }
  
  acdXX_params ps;
  ps.lut_size = lutSize;
  ps.max_shared_vars = lutSize - 2;
  acdXX_impl acd( nVars, ps );
 
  if ( acd.run( pTruth ) == 0 )
    return 0;
 
  return 1;
}

Here is the call graph for this function:

Here is the caller graph for this function: