Qwerty112233
Member level 2
Is it necessary to have sequential optimization turned on in synthesis to pass LEC? Or its just runtime tradeoff?
Also , is it possible to run LEC on RTL with empty modules that we delete in back end?
Incoming RTL has empty modules for god knows why - and i delete those in my back end synthesis flow to cleanly run it. How will the LEC work out?
--- Updated ---
Also , is it possible to run LEC on RTL with empty modules that we delete in back end?
Incoming RTL has empty modules for god knows why - and i delete those in my back end synthesis flow to cleanly run it. How will the LEC work out?
Last edited: