#1642 Regarding formal verification in openLane rtl-to-gds flow Issue created by Brajeshp Request all concerned to clarify, if Formal Verification is part of openlane's RTL-To-GDS automated flow or not. For details, one can look at starting thread, which is available at following link:- https://app.slack.com/client/T01699QAZBQ/C016H8WJMBR/thread/C016H8WJMBR-1673179618.744079 The-OpenROAD-Project/OpenLane