Applying Universal Verification Methodology On A Universal Asynchronous Receiver/ Transmitter Design