diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-23 16:04:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-23 16:04:06 -0700 |
| commit | a84c8174e73882f0cdd6433ca27b8222e87dbaa2 (patch) | |
| tree | 60f0ecc552d84366b3971379051b4fbc1d5b1db4 /src/base/abci/abcGen.c | |
| parent | 19a4bb930edcfc7910388bb08fd86482b9dd35e7 (diff) | |
| download | abc-a84c8174e73882f0cdd6433ca27b8222e87dbaa2.tar.gz abc-a84c8174e73882f0cdd6433ca27b8222e87dbaa2.tar.bz2 abc-a84c8174e73882f0cdd6433ca27b8222e87dbaa2.zip | |
Improving bit-blasting of full-adder.
Diffstat (limited to 'src/base/abci/abcGen.c')
| -rw-r--r-- | src/base/abci/abcGen.c | 43 |
1 files changed, 33 insertions, 10 deletions
diff --git a/src/base/abci/abcGen.c b/src/base/abci/abcGen.c index f54dc407..26ee3f86 100644 --- a/src/base/abci/abcGen.c +++ b/src/base/abci/abcGen.c @@ -43,19 +43,42 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ void Abc_WriteFullAdder( FILE * pFile ) { + int fNaive = 0; fprintf( pFile, ".model FA\n" ); fprintf( pFile, ".inputs a b cin\n" ); fprintf( pFile, ".outputs s cout\n" ); - fprintf( pFile, ".names a b k\n" ); - fprintf( pFile, "10 1\n" ); - fprintf( pFile, "01 1\n" ); - fprintf( pFile, ".names k cin s\n" ); - fprintf( pFile, "10 1\n" ); - fprintf( pFile, "01 1\n" ); - fprintf( pFile, ".names a b cin cout\n" ); - fprintf( pFile, "11- 1\n" ); - fprintf( pFile, "1-1 1\n" ); - fprintf( pFile, "-11 1\n" ); + if ( fNaive ) + { + fprintf( pFile, ".names a b k\n" ); + fprintf( pFile, "10 1\n" ); + fprintf( pFile, "01 1\n" ); + fprintf( pFile, ".names k cin s\n" ); + fprintf( pFile, "10 1\n" ); + fprintf( pFile, "01 1\n" ); + fprintf( pFile, ".names a b cin cout\n" ); + fprintf( pFile, "11- 1\n" ); + fprintf( pFile, "1-1 1\n" ); + fprintf( pFile, "-11 1\n" ); + } + else + { + fprintf( pFile, ".names a b and1\n" ); + fprintf( pFile, "11 1\n" ); + fprintf( pFile, ".names a b and1_\n" ); + fprintf( pFile, "00 1\n" ); + fprintf( pFile, ".names and1 and1_ xor\n" ); + fprintf( pFile, "00 1\n" ); + + fprintf( pFile, ".names cin xor and2\n" ); + fprintf( pFile, "11 1\n" ); + fprintf( pFile, ".names cin xor and2_\n" ); + fprintf( pFile, "00 1\n" ); + fprintf( pFile, ".names and2 and2_ s\n" ); + fprintf( pFile, "00 1\n" ); + + fprintf( pFile, ".names and1 and2 cout\n" ); + fprintf( pFile, "00 0\n" ); + } fprintf( pFile, ".end\n" ); fprintf( pFile, "\n" ); } |