diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-22 19:39:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-22 19:39:00 -0700 |
| commit | c7bc6b63298f532270b6c696a6f36545429dfb52 (patch) | |
| tree | 049ecbd968829dc5f9e8d50a870671d1b1924ecb /src/misc/util | |
| parent | a4518e6f833885c905964f1233d11e5b941ec24c (diff) | |
| download | abc-c7bc6b63298f532270b6c696a6f36545429dfb52.tar.gz abc-c7bc6b63298f532270b6c696a6f36545429dfb52.tar.bz2 abc-c7bc6b63298f532270b6c696a6f36545429dfb52.zip | |
Experiments with simulation-based engines.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilTruth.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index d913eda7..3716e9dd 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -1842,6 +1842,16 @@ static inline int Abc_TtCountOnesVecXor( word * x, word * y, int nWords ) Count += Abc_TtCountOnes( x[w] ^ y[w] ); return Count; } +static inline int Abc_TtAndXorSum( word * pOut, word * pIn1, word * pIn2, int nWords ) +{ + int w, Count = 0; + for ( w = 0; w < nWords; w++ ) + { + pOut[w] &= pIn1[w] ^ pIn2[w]; + Count += Abc_TtCountOnes( pOut[w] ); + } + return Count; +} /**Function************************************************************* |