Ad-Hoc Translations to Close Verilog Semantics Gap | IEEE Conference Publication | IEEE Xplore