For citations:
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
Email this article 