An animatable operational semantics of the Verilog hardware description language | IEEE Conference Publication | IEEE Xplore