Functional Verification of a USB Host Controller | IEEE Conference Publication | IEEE Xplore