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

Камкин А.С., Лебедев М.С., Смолов С.А. Поиск конфликтов доступа к данным в HDL-описаниях. Труды Института системного программирования РАН. 2019;31(3):135-144. https://doi.org/10.15514/ISPRAS-2019-31(3)-11

For citation:

Kamkin A.S., Lebedev M.S., Smolov S.A. Extracting Assertions for Conflicts in HDL Descriptions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(3):135-144. https://doi.org/10.15514/ISPRAS-2019-31(3)-11