Hi
Actually when I am doing Equivalence checking, between RTL and NL, the LEC TOOL is modeling a MUX(z-modeling) for many pins. But sometimes, even if pin is not floating it inserts a mux before a pin, whose 2nd i/p pin is floating. So I can say that z-modeling in LEC is unpredictable. Can any one tell me, how to control this unpredictability???
With Rgds.
Subhash Jha
Actually when I am doing Equivalence checking, between RTL and NL, the LEC TOOL is modeling a MUX(z-modeling) for many pins. But sometimes, even if pin is not floating it inserts a mux before a pin, whose 2nd i/p pin is floating. So I can say that z-modeling in LEC is unpredictable. Can any one tell me, how to control this unpredictability???
With Rgds.
Subhash Jha
Last edited: