diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-09 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-09 08:01:00 -0700 |
commit | 8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69 (patch) | |
tree | c0a4902f065ab11ca8d33a5c0c9184a47fdea744 /src/misc/npn/npnUtil.c | |
parent | 20c2b197984ad6da0f28eb9ef86f95b362d96335 (diff) | |
download | abc-8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69.tar.gz abc-8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69.tar.bz2 abc-8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69.zip |
Version abc51009
Diffstat (limited to 'src/misc/npn/npnUtil.c')
-rw-r--r-- | src/misc/npn/npnUtil.c | 78 |
1 files changed, 0 insertions, 78 deletions
diff --git a/src/misc/npn/npnUtil.c b/src/misc/npn/npnUtil.c deleted file mode 100644 index b12ad092..00000000 --- a/src/misc/npn/npnUtil.c +++ /dev/null @@ -1,78 +0,0 @@ -/**CFile**************************************************************** - - FileName [npnUtil.c] - - SystemName [ABC: Logic synthesis and verification system.] - - PackageName [] - - Synopsis [] - - Author [Alan Mishchenko] - - Affiliation [UC Berkeley] - - Date [Ver. 1.0. Started - June 20, 2005.] - - Revision [$Id: npnUtil.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] - -***********************************************************************/ - -#include "extra.h" -#include "npn.h" -#include "vec.h" - -//////////////////////////////////////////////////////////////////////// -/// DECLARATIONS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// -//////////////////////////////////////////////////////////////////////// - -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Npn_StartTruth8( uint8 uTruths[][32] ) -{ - // elementary truth tables - static uint8 Signs[3] = { - 0xAA, // 1010 1010 - 0xCC, // 1100 1100 - 0xF0 // 1111 0000 - }; - int v, i, nShift; - for ( v = 0; v < 3; v++ ) - for ( i = 0; i < 32; i++ ) - uTruths[v][i] = Signs[v]; - for ( v = 3; v < 8; v++ ) - { - nShift = (1 << (v-3)); - for ( i = 0; i < 32; i++, i = (i % nShift)? i : i + nShift ) - { - uTruths[v][i] = 0; - uTruths[v][i + nShift] = 0xFF; - } - } -/* - for ( v = 0; v < 8; v++ ) - { - Extra_PrintBinary( stdout, (unsigned int*)uTruths[v], 90 ); - printf( "\n" ); - } -*/ -} - -//////////////////////////////////////////////////////////////////////// -/// END OF FILE /// -//////////////////////////////////////////////////////////////////////// - - |