[kragen]

Basically yes, but you have to generate the GDS-II from your Verilog yourself, you have to pay them several thousand dollars, the turnaround time is nearly a year, and your first and maybe second and third tapeout will probably have bugs that keep it from working at all.

[genewitch]

This comports with my - admittedly decade-and-a-half old - understanding of the code to silicon pipeline/flow.