ac_wrapper.cpp

Go to the documentation of this file.

 
#include "ac_wrapper.h"
#include "ac_decomposition.hpp"
#include "acd66.hpp"
#include "acdXX.hpp"
 
ABC_NAMESPACE_IMPL_START
 
int acd_evaluate( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival )
{
  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;
}
 
int acd_decompose( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition )
{
  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;
}
 
int acd2_evaluate( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned *cost, int try_no_late_arrival )
{
  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;
}
 
int acd2_decompose( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay, unsigned char *decomposition )
{
  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;
}
 
inline int acd66_evaluate( word * pTruth, unsigned nVars )
{
  using namespace acd;
 
  acd66_impl acd( nVars, true, false );
 
  if ( acd.run( pTruth ) == 0 )
    return 0;
 
  return 1;
}
 
int acdXX_evaluate( word * pTruth, unsigned lutSize, unsigned nVars )
{
  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;
}
 
int acdXX_decompose( word * pTruth, unsigned lutSize, unsigned nVars, unsigned char *decomposition )
{
  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;
}
 
ABC_NAMESPACE_IMPL_END