diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-12-30 11:24:35 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-12-30 11:24:35 -0800 |
commit | d0efef2fe958ca093b06ad4be739ffdcb44c4d28 (patch) | |
tree | 2c167ce8a3285e32e2880198d6ed409f623ed6f7 /src/misc | |
parent | e44f409c1d798d2c663e75e8349c28cad7fe4b82 (diff) | |
download | abc-d0efef2fe958ca093b06ad4be739ffdcb44c4d28.tar.gz abc-d0efef2fe958ca093b06ad4be739ffdcb44c4d28.tar.bz2 abc-d0efef2fe958ca093b06ad4be739ffdcb44c4d28.zip |
Experiments with simulation.
Diffstat (limited to 'src/misc')
-rw-r--r-- | src/misc/util/utilTruth.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index 425ec27d..6cef332b 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -216,6 +216,12 @@ static inline void Abc_TtMask( word * pTruth, int nWords, int nBits ) SeeAlso [] ***********************************************************************/ +static inline void Abc_TtVec( word * pOut, int nWords, word Entry ) +{ + int w; + for ( w = 0; w < nWords; w++ ) + pOut[w] = Entry; +} static inline void Abc_TtConst( word * pOut, int nWords, int fConst1 ) { int w; @@ -316,6 +322,12 @@ static inline void Abc_TtOrXor( word * pOut, word * pIn1, word * pIn2, int nWord for ( w = 0; w < nWords; w++ ) pOut[w] |= pIn1[w] ^ pIn2[w]; } +static inline void Abc_TtOrAnd( word * pOut, word * pIn1, word * pIn2, int nWords ) +{ + int w; + for ( w = 0; w < nWords; w++ ) + pOut[w] |= pIn1[w] & pIn2[w]; +} static inline void Abc_TtXor( word * pOut, word * pIn1, word * pIn2, int nWords, int fCompl ) { int w; |