From accf4825e586cb8b3444551a1145ae4d88662f82 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 22 Oct 2017 15:44:13 -0700 Subject: Adding API to dump MiniAIG into a Verilog file and other small changes. --- src/base/main/mainFrame.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/base/main/mainFrame.c') diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 96373ad9..e496d8ee 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -106,7 +106,10 @@ void Abc_FrameSetBridgeMode() { if ( s_GlobalFram char * Abc_FrameReadDrivingCell() { return s_GlobalFrame->pDrivingCell; } float Abc_FrameReadMaxLoad() { return s_GlobalFrame->MaxLoad; } void Abc_FrameSetDrivingCell( char * pName ) { ABC_FREE(s_GlobalFrame->pDrivingCell); s_GlobalFrame->pDrivingCell = pName; } -void Abc_FrameSetMaxLoad( float Load ) { s_GlobalFrame->MaxLoad = Load; } +void Abc_FrameSetMaxLoad( float Load ) { s_GlobalFrame->MaxLoad = Load; } + +int * Abc_FrameReadArrayMapping( Abc_Frame_t * pAbc ) { return pAbc->pArray; } +void Abc_FrameSetArrayMapping( int * p ) { ABC_FREE( s_GlobalFrame->pArray ); s_GlobalFrame->pArray = p; } /**Function************************************************************* @@ -232,6 +235,7 @@ void Abc_FrameDeallocate( Abc_Frame_t * p ) Gia_ManStopP( &p->pGiaMiniLut ); Vec_IntFreeP( &p->vCopyMiniAig ); Vec_IntFreeP( &p->vCopyMiniLut ); + ABC_FREE( p->pArray ); ABC_FREE( p ); s_GlobalFrame = NULL; -- cgit v1.2.3