C-to-Verilog translation validation | IEEE Conference Publication | IEEE Xplore