Проверка эквивалентности для FPGA - 27 Июля 2021 - FPGA-Systems
Начните статью со страницы мотивации

Проверка эквивалентности для FPGA

Автор: KeisN13

Дата: 27.07.2021 06:58

Категория:Вебинар

265

1

Систематические ошибки проектирования, вносимые инструментами автоматизированного проектирования, такими как синтез, бывает трудно обнаружить, не говоря уже о том, что они могут быть катастрофическими, если они попадут в конечное устройство. Формальная проверка эквивалентности использовалась при проектировании ASIC в течение многих лет. По мере увеличения логической ёмкости ПЛИС, проверка функциональной эквивалентности кода уровня RTL  и окончательного проекта ПЛИС после размещения и трассировки становится критически важным и обязательным. Верификация результатов имплементации FPGA может ускорить процесс проектирования, сократить время тестирования и значительно снизить риски производства ASIC.

На вебинаре вы узнаете:

  •  о различиях между формальной верификацией и моделированием в контексте проверки эквивалентности
  • как определить проблемы проверки для последовательной оптимизации
  • обсудите преимущества подхода к верификации нетлистов и связанных с ними приложений

Вебинар состоится 27 июля 2021

Время 08:00 AM Pacific Daylight Time

Подробности и ссылка на регистрацию

Всего комментариев : 1
avatar
0
1 KeisN13 • 07:15, 01.08.2021
Запись вебинара выложена здесь   https://verificationacademy.com/sessions/equivalence-checking-for-fpga
avatar

Рекомендуем ознакомиться

Руководство

Новый видео руководство: Интерфейсы :: MIPI :: Часть 1 :: Тестовый проект для SP701

Подробнее

Вебинар

Виртуальная конференция 'Функциональная безопасность'

Подробнее

Руководство

Руководство: Цикл статей по сборке PetaLinux для СнК Xilinx Zynq

Подробнее

Вебинар

Вебинар: Возможности интерфейсов внешней памяти в ПЛИС и СнК семейства Agilex

Подробнее

Опубликованы материалы конференции Nokia и Intel

Подробнее

Последние статьи нашего сообщества

Познавательное

Вычисление двоичного логарифма итерационным методом на ПЛИС

Подробнее

Познавательное

Искусство отладки FPGA: как сократить срок тестирования за счет грамотной разработки

Подробнее

Прочее

Быстрый старт: поднимаем PCIe (xdma)

Подробнее

Среды разработки

Применение System Generator для моделирования HDL-блоков на примере системы автоматической регулировки усиления

Подробнее

Верификация

UVM общие сведения и организация методологии

Подробнее

ЦОС

Реализация базовых компонентов ЦОС : Комплексный умножитель

Подробнее

Познавательное

Асинхронный и синхронный сброс: Методы проектирования - часть вторая (раздел 5)

Подробнее

Общее

Асинхронный и синхронный сброс: Методы проектирования - часть вторая (раздел 4)

Подробнее

Общее

Асинхронный и синхронный сброс: Методы проектирования - часть вторая (разделы 1, 2, 3)

Подробнее
Все статьи

Календарь актуальных событий и мероприятий

Вебинар (состоится )

Портирование свёрточных нейронных сетей на платформу Xilinx Zynq Ultrascale Plus и ускорение их работы

Подробнее

Вебинар (состоится )

Двухдневный семинар по Xilinx Versal от Doulos 15-16.09 или 29-30.09 без оплаты.

Подробнее

Мероприятия (состоится )

Конкурс от Xlinix "Adaptive Computing Challenge 2021"

Подробнее

Мероприятия (состоится 14-16 сен 2021)

Сколковская школа синтеза цифровых схем снова открывает свои двери!

Подробнее

Вебинар (состоится 2 сен 2021)

Что нового в OSVVM?

Подробнее

Вебинар (состоится 7-сен-2021)

SoM-модули Kria – ускорение и удешевление разработки устройств с машинным зрением и ИИ. Теория и практика.

Подробнее

Мероприятия (состоится )

Российский Форум Микроэлектроника-2021, 3–9 октября 2021 года, Алушта

Подробнее

Мероприятия (состоится )

Synopsys Verification Day 2021

Подробнее

Мероприятия (состоится )

Серия бесплатных тренингов по FPGA от Microchip

Подробнее

Мероприятия (состоится )

Конференция FPGA Verification Day 2021

Подробнее
Все предстоящие события

FPGA-Systems – это живое, постоянно обновляемое и растущее сообщество.
Хочешь быть в курсе всех новостей и актуальных событий в области?
Подпишись на рассылку