Ускорение проверки и отладки RTL-кода в ALDEC ALINT-PRO, Александр Акулин - FPGA конференция
В докладе представлена среда верификации HDL кода - ALINT-PRO, разрабатываемая компанией ALDEC. Основной акцент сделан на статическую верификацию кода, которая выполняются в соответствие правилам проверки (DRC) заложенным в бащу, в частности соответствие кода DO-254, automotive и другим стандартам. В демонстрации, Александр Гнусин показывает, какими недостатками обладает open source код одного из проектов и как его привести к качественному виду и реализации с помощью ALINT. --- Презентацию к докладу Александра вы можете скачать по ссылке https://fpga-systems.ru/share/conference/2020/fpga-systems-2020-akulin.pdf Презентацию к докладу Александра c комментариями вы можете скачать по ссылке https://fpga-systems.ru/share/conference/2020/fpga-systems-2020-akulin-notes.pdf --- Доклад был изложен в рамках первой отечественной FPGA конференции - FPGA-Systems 2020, проходившей 28 ноября 2020 года в ИЦ "Сколково". Все они доступны по ссылкам ниже. -- В рамках прошедшей конференции FPGA разработчиков в Сколково были представлены 7 докладов: 1. Особенности реализации RTL и Vivado HLS kernel для ускорителей Alveo, Смехов Дмитрий 2. Posit арифметика на FPGA, Терновой Николай 3. Quokka FPGA 101 - Разработка под ПЛИС на C#, Мурышкин Евгений 4. Реализация многоразрядных умножителей на FPGA, Агеев Сергей 5. Simtera. Особенности работы отечественного HDL-симулятора, Рыбкин Сергей 6. Migen & LiteX: наше хипстерское будущее, Каушан Вадим 7. Ускорение проверки и отладки RTL-кода в ALDEC ALINT, Акулин Александр --- FPGA-Systems.ru - информационно-образовательный портал для FPGA разработчиков -- Сайт проекта - https://fpga-systems.ru/ -- Телеграм группа - https://t.me/fpgasystems — Группа в VK: https://vk.com/club185679360 -- Группа в Facebook: https://www.facebook.com/groups/fpgasystems.ru -- Youtube www.youtube.com/c/fpgasystems — Поддержка проекта https://yoomoney.ru/to/4100110847722369 — Дистрибьюторам, издательствам, HR и всем остальным Сотрудничество и услуги https://fpga-systems.ru/services -- Ваши предложения и отзывы направляйте на KeisN13@fpga-systems.ru
В докладе представлена среда верификации HDL кода - ALINT-PRO, разрабатываемая компанией ALDEC. Основной акцент сделан на статическую верификацию кода, которая выполняются в соответствие правилам проверки (DRC) заложенным в бащу, в частности соответствие кода DO-254, automotive и другим стандартам. В демонстрации, Александр Гнусин показывает, какими недостатками обладает open source код одного из проектов и как его привести к качественному виду и реализации с помощью ALINT. --- Презентацию к докладу Александра вы можете скачать по ссылке https://fpga-systems.ru/share/conference/2020/fpga-systems-2020-akulin.pdf Презентацию к докладу Александра c комментариями вы можете скачать по ссылке https://fpga-systems.ru/share/conference/2020/fpga-systems-2020-akulin-notes.pdf --- Доклад был изложен в рамках первой отечественной FPGA конференции - FPGA-Systems 2020, проходившей 28 ноября 2020 года в ИЦ "Сколково". Все они доступны по ссылкам ниже. -- В рамках прошедшей конференции FPGA разработчиков в Сколково были представлены 7 докладов: 1. Особенности реализации RTL и Vivado HLS kernel для ускорителей Alveo, Смехов Дмитрий 2. Posit арифметика на FPGA, Терновой Николай 3. Quokka FPGA 101 - Разработка под ПЛИС на C#, Мурышкин Евгений 4. Реализация многоразрядных умножителей на FPGA, Агеев Сергей 5. Simtera. Особенности работы отечественного HDL-симулятора, Рыбкин Сергей 6. Migen & LiteX: наше хипстерское будущее, Каушан Вадим 7. Ускорение проверки и отладки RTL-кода в ALDEC ALINT, Акулин Александр --- FPGA-Systems.ru - информационно-образовательный портал для FPGA разработчиков -- Сайт проекта - https://fpga-systems.ru/ -- Телеграм группа - https://t.me/fpgasystems — Группа в VK: https://vk.com/club185679360 -- Группа в Facebook: https://www.facebook.com/groups/fpgasystems.ru -- Youtube www.youtube.com/c/fpgasystems — Поддержка проекта https://yoomoney.ru/to/4100110847722369 — Дистрибьюторам, издательствам, HR и всем остальным Сотрудничество и услуги https://fpga-systems.ru/services -- Ваши предложения и отзывы направляйте на KeisN13@fpga-systems.ru