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

[CEC][SimGen][LUT mapping] Adding option to consider an already mapped circuit before executing SimGen

This commit is contained in:
Carmine50 2024-12-21 20:22:02 +01:00
parent 8a1c28bf0f
commit ef8c35f95d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proof/cec/cecSatG2.c
View File

@ -4301,7 +4301,7 @@ void printISOPLUT(Gia_Man_t * pMan, int ObjId){
Gia_Man_t * Cec_SimGenRun( Gia_Man_t * p, Cec_ParSimGen_t * pPars ){
extern void Gia_ManDupMapping( Gia_Man_t * pNew, Gia_Man_t * p );
Cec4_Man_t * pManSim;
int i, k, iFan;
Gia_Man_t * pMapped;