Для цитирования:
ШЕВЦОВ А.А., ЧУРКИН Я.А., БУЧАЦКИЙ Р.А., КАМКИН А.С., МЕЛЬНИК Д.М. Автоматическая проверка синтезируемости описаний аппаратуры. Труды Института системного программирования РАН. 2026;38(4):45-66. https://doi.org/10.15514/ISPRAS-2026-38(4)-19
For citation:
SHEVTSOV A.A., CHURKIN Ya.A., BUCHATSKIY R.A., KAMKIN A.S., MELNIK D.M. Automatic Synthesizability Checking of Hardware Descriptions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(4):45-66. https://doi.org/10.15514/ISPRAS-2026-38(4)-19
Послать статью по эл. почте 