Hardware synthesis from encapsulated Verilog modules | IEEE Conference Publication | IEEE Xplore