Verilog Synthesis in the Higher-Order Transformation Framework of TL. - Victor L. Winter; Shiraz Hussain (HASE, 2015)