hi , any logic equivalence tool used in the flow ? for rtl2 gate level checks. Or for net2net

I tried to turn on LEC in openlane flow. It failed at RTL to Gate LEC after yosys synthesis. So no question about LEC at the later stages. People are taping out with this.

@Arman Avetisyan @Vijayan Krishnan any views on this

PR yet to reviewed: https://github.com/The-OpenROAD-Project/OpenLane/pull/1365 Merge this and test it at your end.

@Ryan R 1. dont tag me, 2. I have no idea

1. ok 2. i thought you might ! 🙂

Thanks @Vijayan Krishnan. Looks like the issues was fixed in August. I tried before that. I will try again.