diff options
Diffstat (limited to 'src/map/super')
| -rw-r--r-- | src/map/super/superGate.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/map/super/superGate.c b/src/map/super/superGate.c index 915ff86d..c8aa02ba 100644 --- a/src/map/super/superGate.c +++ b/src/map/super/superGate.c @@ -345,7 +345,12 @@ Super_Man_t * Super_Compute( Super_Man_t * pMan, Mio_Gate_t ** ppGates, int nGat continue; } } - +/* + if ( strcmp(Mio_GateReadName(ppGates[k]), "MUX2IX0") == 0 ) + { + int s = 0; + } +*/ // select the subset of gates to be considered with this root gate // all the gates past this point will lead to delay larger than the limit tDelayMio = (float)Mio_GateReadDelayMax(ppGates[k]); |