Verilog Synthesis in the Higher-Order Transformation Framework of TL | IEEE Conference Publication | IEEE Xplore