Skip to content

A
abc
Commit 1ccf3218 by Alan Mishchenko
Options

Synthesis for mesh of LUTs.

parent 60aa7baa
Showing with 9 additions and 9 deletions
src/sat/bmc/bmcMesh.c
...@@ -31,10 +31,10 @@ ABC_NAMESPACE_IMPL_START ...@@ -31,10 +31,10 @@ ABC_NAMESPACE_IMPL_START
#define NCPARS 16 #define NCPARS 16
inline int Bmc_MeshTVar( int Me[102][102], int x, int y ) { return Me[x][y]; } static inline int Bmc_MeshTVar( int Me[102][102], int x, int y ) { return Me[x][y]; }
inline int Bmc_MeshGVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100]; } static inline int Bmc_MeshGVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100]; }
inline int Bmc_MeshCVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101]; } static inline int Bmc_MeshCVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101]; }
inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101] + NCPARS; } static inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101] + NCPARS; }
//////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS /// /// FUNCTION DEFINITIONS ///
...@@ -51,7 +51,7 @@ inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me ...@@ -51,7 +51,7 @@ inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me
SeeAlso [] SeeAlso []
***********************************************************************/ ***********************************************************************/
static inline Bmc_MeshVarValue( satoko_t * p, int v ) static inline int Bmc_MeshVarValue( satoko_t * p, int v )
{ {
int value = var_value(p, v) != VAR_UNASSING ? var_value(p, v) : var_polarity(p, v); int value = var_value(p, v) != VAR_UNASSING ? var_value(p, v) : var_polarity(p, v);
return value == LIT_TRUE; return value == LIT_TRUE;
......
src/sat/bmc/bmcMesh2.c
...@@ -32,10 +32,10 @@ ABC_NAMESPACE_IMPL_START ...@@ -32,10 +32,10 @@ ABC_NAMESPACE_IMPL_START
#define NCPARS 16 #define NCPARS 16
inline int Bmc_MeshTVar( int Me[102][102], int x, int y ) { return Me[x][y]; } static inline int Bmc_MeshTVar( int Me[102][102], int x, int y ) { return Me[x][y]; }
inline int Bmc_MeshGVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100]; } static inline int Bmc_MeshGVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100]; }
inline int Bmc_MeshCVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101]; } static inline int Bmc_MeshCVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101]; }
inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101] + NCPARS; } static inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me[101][100] + Me[101][101] + NCPARS; }
//////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS /// /// FUNCTION DEFINITIONS ///
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment