From 04be8af56019e6e831bcf5e244d6ae3fb7a92d81 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 28 Aug 2015 17:47:00 -0700 Subject: Important bug fixes in standard-cell library handling and mapper &nf. --- src/map/amap/amapRead.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/map/amap/amapRead.c') diff --git a/src/map/amap/amapRead.c b/src/map/amap/amapRead.c index 183989c1..3ccfc011 100644 --- a/src/map/amap/amapRead.c +++ b/src/map/amap/amapRead.c @@ -36,6 +36,7 @@ ABC_NAMESPACE_IMPL_START // these symbols (and no other) can appear in the formulas #define AMAP_SYMB_AND '*' +#define AMAP_SYMB_AND2 '&' #define AMAP_SYMB_OR1 '+' #define AMAP_SYMB_OR2 '|' #define AMAP_SYMB_XOR '^' @@ -236,7 +237,7 @@ int Amap_GateCollectNames( Aig_MmFlex_t * pMem, char * pForm, char * pPinNames[] for ( pTemp = Buffer; *pTemp; pTemp++ ) if ( *pTemp == AMAP_SYMB_AND || *pTemp == AMAP_SYMB_OR1 || *pTemp == AMAP_SYMB_OR2 || *pTemp == AMAP_SYMB_XOR || *pTemp == AMAP_SYMB_NOT || *pTemp == AMAP_SYMB_OPEN - || *pTemp == AMAP_SYMB_CLOSE || *pTemp == AMAP_SYMB_AFTNOT ) + || *pTemp == AMAP_SYMB_CLOSE || *pTemp == AMAP_SYMB_AFTNOT || *pTemp == AMAP_SYMB_AND2 ) *pTemp = ' '; // save the names nPins = 0; -- cgit v1.2.3