From 9e20b3016ddb16993687cffc050c3cee127f677d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 24 Apr 2015 14:51:34 -0700 Subject: Adding switch 'map -f' to not use large gates for high-fanout nodes (disabled by default). --- src/map/mapper/mapper.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/map/mapper/mapper.h') diff --git a/src/map/mapper/mapper.h b/src/map/mapper/mapper.h index 2a52ee08..169223d8 100644 --- a/src/map/mapper/mapper.h +++ b/src/map/mapper/mapper.h @@ -108,6 +108,7 @@ extern void Map_ManSetChoiceNodeNum( Map_Man_t * p, int nChoiceNodes extern void Map_ManSetChoiceNum( Map_Man_t * p, int nChoices ); extern void Map_ManSetVerbose( Map_Man_t * p, int fVerbose ); extern void Map_ManSetSwitching( Map_Man_t * p, int fSwitching ); +extern void Map_ManSetSkipFanout( Map_Man_t * p, int fSkipFanout ); extern Map_Man_t * Map_NodeReadMan( Map_Node_t * p ); extern char * Map_NodeReadData( Map_Node_t * p, int fPhase ); -- cgit v1.2.3