G. Y. Zargaryan, “Verification Environments for USB Controller”, MPCS, vol. 39, pp. 72–80, Dec. 2021.