From Operational Semantics to Denotational Semantics for Verilog | Publicación