Для цитирования:
ЧУРКИН Я.А., БУЧАЦКИЙ Р.А., КИТАЕВ К.Н., ВОЛОХОВ А.Г., ДОЛГОДВОРОВ Е.В., КАМКИН А.С., КОЦЫНЯК А.М., САМОВАРОВ Д.О. Система статического анализа для языка описания аппаратуры SystemVerilog. Труды Института системного программирования РАН. 2025;37(1):7-40. https://doi.org/10.15514/ISPRAS-2025-37(1)-1
For citation:
CHURKIN Ya.A., BUCHATSKIY R.A., KITAEV K.N., VOLOKHOV A.G., DOLGODVOROV E.V., KAMKIN A.S., KOTSYNYAK A.M., SAMOVAROV D.O. System for Static Analysis of SystemVerilog HDL. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(1):7-40. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(1)-1