diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-04-25 16:58:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-04-25 16:58:29 -0700 |
| commit | fa00219d4c3c207d542215617f87090e630c8e3c (patch) | |
| tree | 463fe9a37e9a160333d5e4cf635085cecfecc103 /src/aig/gia/gia.h | |
| parent | f093aef867a56f825122e28ac56debf9c97972e5 (diff) | |
| download | abc-fa00219d4c3c207d542215617f87090e630c8e3c.tar.gz abc-fa00219d4c3c207d542215617f87090e630c8e3c.tar.bz2 abc-fa00219d4c3c207d542215617f87090e630c8e3c.zip | |
Adding switch &w -p to dump AIG in a Verilog file.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index c1968086..fcf6fd28 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1454,6 +1454,7 @@ extern void Gia_ManPrintStatsMiter( Gia_Man_t * p, int fVerbose ) extern void Gia_ManSetRegNum( Gia_Man_t * p, int nRegs ); extern void Gia_ManReportImprovement( Gia_Man_t * p, Gia_Man_t * pNew ); extern void Gia_ManPrintNpnClasses( Gia_Man_t * p ); +extern void Gia_ManDumpVerilog( Gia_Man_t * p, char * pFileName ); /*=== giaMem.c ===========================================================*/ extern Gia_MmFixed_t * Gia_MmFixedStart( int nEntrySize, int nEntriesMax ); extern void Gia_MmFixedStop( Gia_MmFixed_t * p, int fVerbose ); |