summaryrefslogtreecommitdiffstats
path: root/src/map/mio/mioFunc.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/map/mio/mioFunc.c')
-rw-r--r--src/map/mio/mioFunc.c164
1 files changed, 99 insertions, 65 deletions
diff --git a/src/map/mio/mioFunc.c b/src/map/mio/mioFunc.c
index c14944c4..c63a3794 100644
--- a/src/map/mio/mioFunc.c
+++ b/src/map/mio/mioFunc.c
@@ -17,7 +17,8 @@
***********************************************************************/
#include "mioInt.h"
-#include "parse.h"
+//#include "parse.h"
+#include "exp.h"
ABC_NAMESPACE_IMPL_START
@@ -37,16 +38,13 @@ ABC_NAMESPACE_IMPL_START
#define MIO_SYMB_OPEN '('
#define MIO_SYMB_CLOSE ')'
-static int Mio_GateParseFormula( Mio_Gate_t * pGate );
-static int Mio_GateCollectNames( char * pFormula, char * pPinNames[] );
-
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************
- Synopsis [Deriving the functionality of the gates.]
+ Synopsis [Registers the cube string with the network.]
Description []
@@ -55,27 +53,61 @@ static int Mio_GateCollectNames( char * pFormula, char * pPinNames[] );
SeeAlso []
***********************************************************************/
-int Mio_LibraryParseFormulas( Mio_Library_t * pLib )
+char * Mio_SopRegister( Mem_Flex_t * pMan, char * pName )
{
- Mio_Gate_t * pGate;
+ char * pRegName;
+ if ( pName == NULL ) return NULL;
+ pRegName = Mem_FlexEntryFetch( pMan, strlen(pName) + 1 );
+ strcpy( pRegName, pName );
+ return pRegName;
+}
- // count the gates
- pLib->nGates = 0;
- Mio_LibraryForEachGate( pLib, pGate )
- pLib->nGates++;
+/**Function*************************************************************
- // start a temporary BDD manager
- pLib->dd = Cudd_Init( 20, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 );
- // introduce ZDD variables
- Cudd_zddVarsFromBddVars( pLib->dd, 2 );
+ Synopsis [Collect the pin names in the formula.]
- // for each gate, derive its function
- Mio_LibraryForEachGate( pLib, pGate )
- if ( Mio_GateParseFormula( pGate ) )
- return 1;
- return 0;
-}
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+int Mio_GateCollectNames( char * pFormula, char * pPinNames[] )
+{
+ char Buffer[1000];
+ char * pTemp;
+ int nPins, i;
+ // save the formula as it was
+ strcpy( Buffer, pFormula );
+
+ // remove the non-name symbols
+ for ( pTemp = Buffer; *pTemp; pTemp++ )
+ if ( *pTemp == MIO_SYMB_AND || *pTemp == MIO_SYMB_AND2 ||
+ *pTemp == MIO_SYMB_OR || *pTemp == MIO_SYMB_OR2 ||
+ *pTemp == MIO_SYMB_XOR ||
+ *pTemp == MIO_SYMB_NOT || *pTemp == MIO_SYMB_AFTNOT ||
+ *pTemp == MIO_SYMB_OPEN || *pTemp == MIO_SYMB_CLOSE )
+ *pTemp = ' ';
+
+ // save the names
+ nPins = 0;
+ pTemp = strtok( Buffer, " " );
+ while ( pTemp )
+ {
+ for ( i = 0; i < nPins; i++ )
+ if ( strcmp( pTemp, pPinNames[i] ) == 0 )
+ break;
+ if ( i == nPins )
+ { // cannot find this name; save it
+ pPinNames[nPins++] = Mio_UtilStrsav(pTemp);
+ }
+ // get the next name
+ pTemp = strtok( NULL, " " );
+ }
+ return nPins;
+}
/**Function*************************************************************
@@ -90,8 +122,6 @@ int Mio_LibraryParseFormulas( Mio_Library_t * pLib )
***********************************************************************/
int Mio_GateParseFormula( Mio_Gate_t * pGate )
{
- extern char * Abc_ConvertBddToSop( Mem_Flex_t * pMan, DdManager * dd, DdNode * bFuncOn, DdNode * bFuncOnDc, int nFanins, int fAllPrimes, Vec_Str_t * vCube, int fMode );
- DdManager * dd = pGate->pLib->dd;
char * pPinNames[100];
char * pPinNamesCopy[100];
Mio_Pin_t * pPin, ** ppPin;
@@ -114,14 +144,16 @@ int Mio_GateParseFormula( Mio_Gate_t * pGate )
{
if ( strcmp( pGate->pForm, MIO_STRING_CONST0 ) == 0 )
{
- pGate->bFunc = b0;
- pGate->pSop = Abc_SopRegister( (Mem_Flex_t *)pGate->pLib->pMmFlex, " 0\n" );
+// pGate->bFunc = b0;
+ pGate->vExpr = Exp_Const0();
+ pGate->pSop = Mio_SopRegister( (Mem_Flex_t *)pGate->pLib->pMmFlex, " 0\n" );
pGate->pLib->pGate0 = pGate;
}
else if ( strcmp( pGate->pForm, MIO_STRING_CONST1 ) == 0 )
{
- pGate->bFunc = b1;
- pGate->pSop = Abc_SopRegister( (Mem_Flex_t *)pGate->pLib->pMmFlex, " 1\n" );
+// pGate->bFunc = b1;
+ pGate->vExpr = Exp_Const1();
+ pGate->pSop = Mio_SopRegister( (Mem_Flex_t *)pGate->pLib->pMmFlex, " 1\n" );
pGate->pLib->pGate1 = pGate;
}
else
@@ -129,7 +161,7 @@ int Mio_GateParseFormula( Mio_Gate_t * pGate )
printf( "Cannot parse formula \"%s\" of gate \"%s\".\n", pGate->pForm, pGate->pName );
return 1;
}
- Cudd_Ref( pGate->bFunc );
+// Cudd_Ref( pGate->bFunc );
return 0;
}
@@ -206,7 +238,7 @@ int Mio_GateParseFormula( Mio_Gate_t * pGate )
// copy the names back
memcpy( pPinNames, pPinNamesCopy, nPins * sizeof(char *) );
}
-
+/*
// expand the manager if necessary
if ( dd->size < nPins )
{
@@ -214,21 +246,43 @@ int Mio_GateParseFormula( Mio_Gate_t * pGate )
dd = Cudd_Init( nPins + 10, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 );
Cudd_zddVarsFromBddVars( dd, 2 );
}
-
- // derive the formula as the BDD
+ // derive formula as the BDD
pGate->bFunc = Parse_FormulaParser( stdout, pGate->pForm, nPins, 0, pPinNames, dd, dd->vars );
if ( pGate->bFunc == NULL )
return 1;
Cudd_Ref( pGate->bFunc );
-
- // derive the cover (SOP)
+ // derive cover
pGate->pSop = Abc_ConvertBddToSop( pGate->pLib->pMmFlex, dd, pGate->bFunc, pGate->bFunc, nPins, 0, pGate->pLib->vCube, -1 );
+*/
+
+ // derive expression
+ pGate->vExpr = Mio_ParseFormula( pGate->pForm, (char **)pPinNames, nPins );
+ // derive cover
+ pGate->pSop = Mio_LibDeriveSop( nPins, pGate->vExpr, pGate->pLib->vCube );
+ pGate->pSop = Mio_SopRegister( (Mem_Flex_t *)pGate->pLib->pMmFlex, pGate->pSop );
+ // derive truth table
+ if ( nPins <= 6 )
+ pGate->uTruth = Exp_Truth6( nPins, pGate->vExpr, NULL );
+/*
+ // verify
+ if ( pGate->nInputs <= 6 )
+ {
+ extern word Abc_SopToTruth( char * pSop, int nInputs );
+ word t2 = Abc_SopToTruth( pGate->pSop, nPins );
+ if ( pGate->uTruth != t2 )
+ {
+ printf( "%s\n", pGate->pForm );
+ Exp_Print( nPins, pGate->vExpr );
+ printf( "Verification failed!\n" );
+ }
+ }
+*/
return 0;
}
/**Function*************************************************************
- Synopsis [Collect the pin names in the formula.]
+ Synopsis [Deriving the functionality of the gates.]
Description []
@@ -237,40 +291,20 @@ int Mio_GateParseFormula( Mio_Gate_t * pGate )
SeeAlso []
***********************************************************************/
-int Mio_GateCollectNames( char * pFormula, char * pPinNames[] )
+int Mio_LibraryParseFormulas( Mio_Library_t * pLib )
{
- char Buffer[1000];
- char * pTemp;
- int nPins, i;
-
- // save the formula as it was
- strcpy( Buffer, pFormula );
+ Mio_Gate_t * pGate;
- // remove the non-name symbols
- for ( pTemp = Buffer; *pTemp; pTemp++ )
- if ( *pTemp == MIO_SYMB_AND || *pTemp == MIO_SYMB_AND2 ||
- *pTemp == MIO_SYMB_OR || *pTemp == MIO_SYMB_OR2 ||
- *pTemp == MIO_SYMB_XOR ||
- *pTemp == MIO_SYMB_NOT || *pTemp == MIO_SYMB_AFTNOT ||
- *pTemp == MIO_SYMB_OPEN || *pTemp == MIO_SYMB_CLOSE )
- *pTemp = ' ';
+ // count the gates
+ pLib->nGates = 0;
+ Mio_LibraryForEachGate( pLib, pGate )
+ pLib->nGates++;
- // save the names
- nPins = 0;
- pTemp = strtok( Buffer, " " );
- while ( pTemp )
- {
- for ( i = 0; i < nPins; i++ )
- if ( strcmp( pTemp, pPinNames[i] ) == 0 )
- break;
- if ( i == nPins )
- { // cannot find this name; save it
- pPinNames[nPins++] = Extra_UtilStrsav(pTemp);
- }
- // get the next name
- pTemp = strtok( NULL, " " );
- }
- return nPins;
+ // for each gate, derive its function
+ Mio_LibraryForEachGate( pLib, pGate )
+ if ( Mio_GateParseFormula( pGate ) )
+ return 1;
+ return 0;
}
////////////////////////////////////////////////////////////////////////
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 03:24:55 +0000