diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-12 18:29:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-12 18:29:15 -0700 |
| commit | 20c46b5a452c08f949929c02d93a060f79144d79 (patch) | |
| tree | 1a66c6d0ac2bebd5b765a34627da61ebec2ea7be /src/map/mio/mio.h | |
| parent | d25473b30722d1567345e2f10e22baa94272085c (diff) | |
| download | abc-20c46b5a452c08f949929c02d93a060f79144d79.tar.gz abc-20c46b5a452c08f949929c02d93a060f79144d79.tar.bz2 abc-20c46b5a452c08f949929c02d93a060f79144d79.zip | |
Experiments with precomputation and matching.
Diffstat (limited to 'src/map/mio/mio.h')
| -rw-r--r-- | src/map/mio/mio.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index e7b1c05e..9dd72d93 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -58,6 +58,7 @@ typedef struct Mio_Cell2_t_ Mio_Cell2_t; struct Mio_Cell2_t_ { char * pName; // name + Vec_Int_t * vExpr; // expression unsigned Id : 28; // gate ID unsigned nFanins : 4; // gate fanins word Area; // area @@ -177,7 +178,7 @@ extern void Mio_LibraryDelete( Mio_Library_t * pLib ); extern void Mio_GateDelete( Mio_Gate_t * pGate ); extern void Mio_PinDelete( Mio_Pin_t * pPin ); extern Mio_Pin_t * Mio_PinDup( Mio_Pin_t * pPin ); -extern void Mio_WriteLibrary( FILE * pFile, Mio_Library_t * pLib, int fPrintSops ); +extern void Mio_WriteLibrary( FILE * pFile, Mio_Library_t * pLib, int fPrintSops, int fShort ); extern Mio_Gate_t ** Mio_CollectRoots( Mio_Library_t * pLib, int nInputs, float tDelay, int fSkipInv, int * pnGates, int fVerbose ); extern Mio_Cell_t * Mio_CollectRootsNew( Mio_Library_t * pLib, int nInputs, int * pnGates, int fVerbose ); extern Mio_Cell_t * Mio_CollectRootsNewDefault( int nInputs, int * pnGates, int fVerbose ); |