Clean formal semantics for VHDL | Publicación