diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-08-28 00:52:46 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-08-28 00:52:46 +0900 |
| commit | 379b6a2b777aab8fb20b8f6d4c5362176d2c727c (patch) | |
| tree | 9636cdfde07b8112ee2b89e12fd047a8cc722ed4 | |
| parent | 975457228385f3456a54bf2161e4e500cac849b5 (diff) | |
| download | abc-379b6a2b777aab8fb20b8f6d4c5362176d2c727c.tar.gz abc-379b6a2b777aab8fb20b8f6d4c5362176d2c727c.tar.bz2 abc-379b6a2b777aab8fb20b8f6d4c5362176d2c727c.zip | |
Fix read_bench to read standard gate names in lower-case.
| -rw-r--r-- | src/base/io/ioReadBench.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/base/io/ioReadBench.c b/src/base/io/ioReadBench.c index 4d038200..3ea3fb70 100644 --- a/src/base/io/ioReadBench.c +++ b/src/base/io/ioReadBench.c @@ -235,23 +235,23 @@ Abc_Ntk_t * Io_ReadBenchNetwork( Extra_FileReader_t * p ) nNames = vTokens->nSize - 2; pNode = Io_ReadCreateNode( pNtk, (char *)vTokens->pArray[0], ppNames, nNames ); // assign the cover - if ( strcmp(pType, "AND") == 0 ) + if ( strcmp(pType, "AND") == 0 || strcmp(pType, "and") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateAnd((Mem_Flex_t *)pNtk->pManFunc, nNames, NULL) ); - else if ( strcmp(pType, "OR") == 0 ) + else if ( strcmp(pType, "OR") == 0 || strcmp(pType, "or") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateOr((Mem_Flex_t *)pNtk->pManFunc, nNames, NULL) ); - else if ( strcmp(pType, "NAND") == 0 ) + else if ( strcmp(pType, "NAND") == 0 || strcmp(pType, "nand") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateNand((Mem_Flex_t *)pNtk->pManFunc, nNames) ); - else if ( strcmp(pType, "NOR") == 0 ) + else if ( strcmp(pType, "NOR") == 0 || strcmp(pType, "nor") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateNor((Mem_Flex_t *)pNtk->pManFunc, nNames) ); - else if ( strcmp(pType, "XOR") == 0 ) + else if ( strcmp(pType, "XOR") == 0 || strcmp(pType, "xor") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateXor((Mem_Flex_t *)pNtk->pManFunc, nNames) ); - else if ( strcmp(pType, "NXOR") == 0 || strcmp(pType, "XNOR") == 0 ) + else if ( strcmp(pType, "NXOR") == 0 || strcmp(pType, "XNOR") == 0 || strcmp(pType, "nxor") == 0 || strcmp(pType, "xnor") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateNxor((Mem_Flex_t *)pNtk->pManFunc, nNames) ); - else if ( strncmp(pType, "BUF", 3) == 0 ) + else if ( strncmp(pType, "BUF", 3) == 0 || strcmp(pType, "buf") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateBuf((Mem_Flex_t *)pNtk->pManFunc) ); - else if ( strcmp(pType, "NOT") == 0 ) + else if ( strcmp(pType, "NOT") == 0 || strcmp(pType, "not") == 0 ) Abc_ObjSetData( pNode, Abc_SopCreateInv((Mem_Flex_t *)pNtk->pManFunc) ); - else if ( strncmp(pType, "MUX", 3) == 0 ) + else if ( strncmp(pType, "MUX", 3) == 0 || strcmp(pType, "mux") == 0 ) // Abc_ObjSetData( pNode, Abc_SopRegister(pNtk->pManFunc, "1-0 1\n-11 1\n") ); Abc_ObjSetData( pNode, Abc_SopRegister((Mem_Flex_t *)pNtk->pManFunc, "0-1 1\n11- 1\n") ); else if ( strncmp(pType, "gnd", 3) == 0 ) |