Функциональная верификация пересечения тактовых доменов (CDC) - 18 Февраля 2021 - FPGA-Systems

Функциональная верификация пересечения тактовых доменов (CDC)

aldec, Rivera, alint, верификация, cdc

Автор: KeisN13

Дата: 18.02.2021 10:45

Категория:

184

0

ALINT-PRO предоставляет мощные средства для статического анализа и валидации пересечений тактовых доменов(CDC). Он извлекает и проверяет тактовые деревья и тактовые домены, применяя топологические методы сопоставления шаблонов для проверки правильности проектных структур на границах тактовых доменов. Однако статическая проверка CDC должна быть дополнена динамической проверкой CDC, чтобы гарантировать отсутствие проблем, связанных с CDC. Для этой цели ALINT-PRO предоставляет механизмы генерации утверждений, позволяющие разработчикам улучшить свою функциональную верификацию с помощью кода проверки CDC.

На вебинаре представлена полная методология верификации пересечения тактовых доменов-от статической верификации с помощью ALINT-PRO до динамической верификации с помощью Riviera-PRO. Она включает в себя ряд конструктивных примеров для различных типов синхронизаторов. Кроме того, вебинар включает в себя краткое введение в проверку на основе утверждений (assertions) с использованием утверждений SystemVerilog (SVA).

Программа вебинара:

  • Методология верификации Clock domain crossing (CDC)
  • Статическая проверка CDC
  • Динамическая проверка CDC
  • Проверка на основе утверждений с помощью SVA
  • Примеры проектирования
  • Итоги
  • Вопросы и ответы

Вебинар состоится 18 февраля 2021

Время проведения 3:00 PM – 4:00 PM (CET) 

Ссылка на регистрацию

 

Всего комментариев : 0
avatar

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

Статья: Разработка на ПЛИС с применением agile подходов

Подробнее

Руководство

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

Подробнее

Заметка

О подключении второго HDMI монитора к Raspberry Pi3 через DPI интерфейс и FPGA плату

Подробнее

Программируемые устройства III: языки проектирования на FPGA и SoC

Подробнее

Аналитика: Сможет ли HLS код побить HDL по производительности?

Подробнее

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

Xilinx FPGA

ZYNQ HW: EBAZ4205: часть 2

Подробнее

Xilinx FPGA

ZYNQ HW: EBAZ4205: Часть 1

Подробнее

SystemVerilog

UVM тест таблицы sin/cos

Подробнее

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

FPGA или микроконтроллер: что же выбрать?

Подробнее

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

Обзор научных работ, связанных с FPGA

Подробнее

Аналитика и обзоры

Пролог: Исследование Функциональной Верификации Исследовательской Группы Уилсона 2020 Года

Подробнее

High Level Synthesis

Основы AXI часть 7 - Подключение к PS с помощью AXI4-Lite и Vitis HLS

Подробнее

Xilinx Vivado

Vivado Quality of Result (Перевод статьи MicroZed Chronicles)

Подробнее

High Level Synthesis

Основы AXI часть 6 – Введение в AXI4-Lite в Vitis HLS (часть 1)

Подробнее

High Level Synthesis

Сможет ли HLS код побить HDL по производительности?

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

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

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

Быстрый старт с симулятором ПЛИС Riviera-PRO. Часть 1 - Ввод проекта и моделирование

Подробнее

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

Вебинар PLC2: Машинное зрение в реальном времени с низким потреблением и системы с искусственным интеллектом

Подробнее

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

Воркшоп Libero SoC Flash-FPGA

Подробнее

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

Вебинар: все что нужно знать о массивах в SystemVerilog

Подробнее

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

Три вебинара по Intel Agilex FPGA

Подробнее

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

Повышение производительности систем на базе FPGA за счёт оптимизации архитектуры памяти

Подробнее

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

Xilinx Versal ACAP - от ПЛИС к платформе

Подробнее

Мероприятия (состоится 20-01-2021)

Intel FPGA Technology Day EMEA

Подробнее

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

QuickSilicon зимний хакатон

Подробнее

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

Microchip PolarFire® SoC FPGA - часть 4

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

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