A. V. Garashchenko, D. S. Lashina, S. A. Nikitin, A. V. Nikolaev, E. A. Prokopev, F. M. Putrya, B. N. Tsyrenzhapov, “The practice and prospects of using open and proprietary software solutions in the verification route of SoC”, Proceedings of ISP RAS, 34:5 (2022), 23–42
