search

The-OpenROAD-Project / OpenLane

OpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen and custom methodology scripts for design exploration and optimization.
https://openlane.readthedocs.io/
Apache License 2.0
1.25k stars 365 forks source link

Regarding formal verification in openLane rtl-to-gds flow #1642

Open Brajeshp opened 1 year ago

Brajeshp commented 1 year ago

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

Vinayakamk commented 8 months ago

i wish to do a formal verification (logic equalence checks etc) for my designs. i recently came to know about the yosys's sby and eqy tools, but is there any move towards this in openlane's yosys regarding mentioned above?

i have same doubt regarding whether mentioned above is there in flow or not?

thank you.