[Oberon] What is the status of Lola-2 and its use in the FPGA version ofProject Oberon?

[rochus.keller at bluewin.ch]

Lola-2 looks like a very interesting HDL and the Project Oberon (PO) FPGA implementation is a good proof of concept. 

But PO FPGA seems to be implemented in Verilog instead. I compared the Lola source files of Prof. Wirth's Risc5 (http://www-oldurls.inf.ethz.ch/personal/wirth/Lola/) with the current Verilog files (http://www.projectoberon.com/) and got the impression that the Verilog version is independently developed (i.e. not translated with the Lola compiler) and more current. There even seem to be differences between the syntax used in the Lola source files and the one specified in the language report (e.g. TYPE ... "=" vs. ":="). Also the papers and book sections by Prof. Wirth only mention Verilog; there is one mention in the Xilinx journal article though. 

Can someone comment on that? Is Lola-2 still in use and will it be further developed? What role does Lola-2 play in the PO FPGA project?