luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Runtime improvements in decomposition

This commit is contained in:
aletempiac 2023-11-15 19:03:29 +01:00
parent 1632dc0d4e
commit 66cdd36d20
5 changed files with 43 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/acd/ac_decomposition.hpp
View File

@ -134,8 +134,8 @@ public:
/* add cost if not support reducing */
uint32_t additional_cost = ( num_vars - i > ps.lut_size ) ? 128 : 0;
/* check for feasible solution that improves the cost */
if ( cost <= ( 1 << ( ps.lut_size - i ) ) && cost + additional_cost < best_cost )
/* check for feasible solution that improves the cost */ /* TODO: remove limit on cost */
if ( cost <= ( 1 << ( ps.lut_size - i ) ) && cost + additional_cost < best_cost && cost < 12 )
{
best_tt = tt_p;
permutations = perm;

4
src/acd/ac_wrapper.cpp
View File

@ -20,8 +20,8 @@ int acd_evaluate( word * pTruth, unsigned nVars, int lutSize, unsigned *pdelay,
ac_decomposition_stats st;
ac_decomposition_impl acd( tt, nVars, ps, &st );
acd.run( *pdelay );
int val = acd.compute_decomposition();
int val = acd.run( *pdelay );
// int val = acd.compute_decomposition();
if ( val < 0 )
{

1
src/acd/ac_wrapper.h
View File

@ -4,6 +4,7 @@
// #include "base/main/main.h"
#include "misc/util/abc_global.h"
#include "map/if/if.h"
// ABC_NAMESPACE_HEADER_START

38
src/acd/kitty_operators.hpp
View File

@ -78,7 +78,43 @@ inline void operator|=( dynamic_truth_table& first, const dynamic_truth_table& s
template<uint32_t NumVars>
inline void operator|=( static_truth_table<NumVars>& first, const static_truth_table<NumVars>& second )
{
first = binary_or( first, second );
// first = binary_or( first, second );
/* runtime improved version */
if constexpr ( NumVars <= 6 )
{
first._bits |= second._bits;
first.mask_bits();
}
else if constexpr ( NumVars == 7 )
{
first._bits[0] |= second._bits[0];
first._bits[1] |= second._bits[1];
}
else if constexpr ( NumVars == 8 )
{
first._bits[0] |= second._bits[0];
first._bits[1] |= second._bits[1];
first._bits[2] |= second._bits[2];
first._bits[3] |= second._bits[3];
}
else if constexpr ( NumVars == 9 )
{
first._bits[0] |= second._bits[0];
first._bits[1] |= second._bits[1];
first._bits[2] |= second._bits[2];
first._bits[3] |= second._bits[3];
first._bits[4] |= second._bits[4];
first._bits[5] |= second._bits[5];
first._bits[6] |= second._bits[6];
first._bits[7] |= second._bits[7];
}
else
{
for ( uint32_t i = 0; i < first.num_blocks(); ++i )
{
first._bits[i] |= second._bits[i];
}
}
}
} // namespace kitty

2
src/map/if/if.h
View File

@ -40,7 +40,7 @@
#include "opt/dau/dau.h"
#include "misc/vec/vecHash.h"
#include "misc/vec/vecWec.h"
#include "ACD/ac_wrapper.h"
#include "acd/ac_wrapper.h"
ABC_NAMESPACE_HEADER_START