<mkk_>
[Tommy Thorn, skywater-pdk] Possibly a naive question, but I'm trying to understand if/why you would need Magic if you are synthesizing and autorouting a design from Verilog.
<mkk_>
[tgingold, skywater-pdk] Magic is used at least to generate the final gds and lef and to do drc. You don't really need to manually use the application, but it is used by openlane.
<mkk_>
[Anish S, skywater-pdk] you may also need to do manual DRC fixes depending on your design - openlane still occasionally produces DRC issues when really pushing it