From 53e86477193186a3b2625f544cc4aad876a832cc Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 27 Apr 2016 18:33:23 -0700 Subject: Adding option to rehash AIG after mapping. --- src/map/if/if.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/map') diff --git a/src/map/if/if.h b/src/map/if/if.h index 8a4e7395..0282a1bd 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -140,6 +140,7 @@ struct If_Par_t_ int fUseTtPerm; // compute truth tables of the cut functions int fDeriveLuts; // enables deriving LUT structures int fDoAverage; // optimize average rather than maximum level + int fHashMapping; // perform AIG hashing after mapping int fVerbose; // the verbosity flag char * pLutStruct; // LUT structure float WireDelay; // wire delay -- cgit v1.2.3