Для цитирования:

ГАРАЩЕНКО А.В., ЛАШИНА Д.С., НИКИТИН С.А., НИКОЛАЕВ А.В., ПРОКОПЬЕВ Е.А., ПУТРЯ Ф.М., ЦЫРЕНЖАПОВ Б.Н. Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле. Труды Института системного программирования РАН. 2022;34(5):23-42. https://doi.org/10.15514/ISPRAS-2022-34(5)-2

For citation:

GARASHCHENKO A.V., LASHINA D.S., NIKITIN S.A., NIKOLAEV A.V., PROKOPEV E.A., PUTRYA F.M., TSYRENZHAPOV B.N. The practice and prospects of using open and proprietary software solutions in the verification route of SoC. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(5):23-42. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-34(5)-2