diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 12:07:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 12:07:52 -0700 |
| commit | 3e150dd5532205d6b13aa28fdc526f5e8c0e72a1 (patch) | |
| tree | b9936748dda5e32f286b4129f8c59216e95d9086 /src/map/mio/mio.h | |
| parent | d51f798956a9f9fbdd1fc4eeecc483e511b1c3d3 (diff) | |
| download | abc-3e150dd5532205d6b13aa28fdc526f5e8c0e72a1.tar.gz abc-3e150dd5532205d6b13aa28fdc526f5e8c0e72a1.tar.bz2 abc-3e150dd5532205d6b13aa28fdc526f5e8c0e72a1.zip | |
Adding dumping of genlib library in Verilog.
Diffstat (limited to 'src/map/mio/mio.h')
| -rw-r--r-- | src/map/mio/mio.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index d7f52f8c..18e3b92b 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -194,6 +194,7 @@ 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, int fShort, int fSelected ); +extern void Mio_WriteLibraryVerilog( FILE * pFile, Mio_Library_t * pLib, int fPrintSops, int fShort, int fSelected ); 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 ); |