Zargaryan, G. Y. Verification Environments for USB Controller. MPCS 2021, 39, 72-80.