Application of UML Diagrams in the Design and Verification of Digital Systems