The Use of UML Sequence Diagram for System-on-Chip System Level Transaction-based Functional Verification | IEEE Conference Publication | IEEE Xplore