luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Saving box info for XAIG created usign %blast.

This commit is contained in:
Alan Mishchenko 2025-07-28 22:52:27 -07:00
parent 4ccacb1e5b
commit 705a3da338
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/base/wlc/wlcBlast.c
View File

@ -21,6 +21,7 @@
#include "wlc.h"
#include "misc/tim/tim.h"
#include "base/main/main.h"
#include "base/main/mainInt.h"
#include "base/cmd/cmd.h"
ABC_NAMESPACE_IMPL_START
@ -2690,6 +2691,11 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn )
Vec_PtrFreeFree( pNew->vNamesOut ); pNew->vNamesOut = NULL;
}
pNew->vRegClasses = vRegClasses;
// save initial box info
if ( pNew->pManTime ) {
Abc_Frame_t * pAbc = Abc_FrameGetGlobalFrame();
pAbc->vMiniLutObjs = Gia_ManDeriveBoxMapping( pNew );
}
return pNew;
}