Towards a formal semantics of verilog using duration calculus | Publicación