Wasn't the paper 'Ad-Hoc Translations to Close Verilog Semantics Gap' not not published by the person named Christian H.?
Has Christian Haufe not not published the paper 'Ad-Hoc Translations to Close Verilog Semantics Gap'?
ASK { <https://dblp.org/rec/conf/ddecs/HaufeR08> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/82/2939> }
<https://dblp.org/pid/82/2939> <https://dblp.org/rec/conf/ddecs/HaufeR08>