Also, Niklaus Wirth weighs in with Lola-2, his logic description language, with a compiler to translate it to Verilog. Also, source for a working RISC computer.

Also, Niklaus Wirth weighs in with Lola-2, his logic description language, with a compiler to translate it to Verilog. Also, source for a working RISC computer. All in service of Project Oberon, 2013 edition: http://www.inf.ethz.ch/personal/wirth/ProjectOberon/index.html http://www.inf.ethz.ch/personal/wirth/ProjectOberon/index.ht... http://www.inf.ethz.ch/personal/wirth/Lola/index.html http://www.inf.ethz.ch/personal/wirth/Lola/index.html