(he eventually ported the hardware description to his own HDL, Lola)
IIUC, in its 1990s incarnation Wirth had been able to get bitstream formats, but this century everything was closed off, so now it transpiles to Verilog.
(he eventually ported the hardware description to his own HDL, Lola)