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

Камкин А.С., Коцыняк А.М., Смолов С.А., Татарников А.Д., Чупилко М.М., Сортов А.А. Средства функциональной верификации микропроцессоров. Труды Института системного программирования РАН. 2014;26(1):149-200. https://doi.org/10.15514/ISPRAS-2014-26(1)-5

For citation:

Kamkin A., Kotsynyak A., Smolov S., Tatarnikov A., Chupilko M., Sortov A. Tools for Functional Verification of Microprocessors. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(1):149-200. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(1)-5