HDL Code Generation From UML/MARTE Sequence Diagrams For Verification and Synthesis