see https://people.inf.ethz.ch/wirth/Lola/index.html https://people.inf.ethz.ch/wirth/Lola/index.html IIUC, in its 1990s incarnation Wirth had been able to get

see https://people.inf.ethz.ch/wirth/Lola/index.html https://people.inf.ethz.ch/wirth/Lola/index.html 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.