Formal 101 - Независимость от данных и Non-Determinism - 8 Ноября 2021 - FPGA-Systems
Встреча ПЛИСоводов в Мск и СПб
Не пропусти встречу FPGA разработчиков в Мск и СПб!

Formal 101 - Независимость от данных и Non-Determinism

Questa, onespin, формальная верификация

Автор: KeisN13

Дата: 08.11.2021 12:05

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

130

0

На прошлом вебинаре “Formal 101 – Basic Abstraction Techniques” мы показали, как применять проверенные временем методы для безопасного “абстрагирования” тестируемого модуля DUT, которые обычно вызывают проблемы при формальном анализе. Эти методы дополняют два принципа формального анализа, которые также могут сократить время подготовки и запуска тестов: Независимость от данных и недетерминизм.

Краткие определения:

  • Независимость от данных (Data Independence - DI): ваше свойство/утверждение ( property/assertion) НЕ зависит от конкретных значений данных.
     
  • Недетерминизм (Non-Determinism - ND): это техника, которая использует “свободные переменные”, реализованные в виде неуправляемых проводов (wires) или дополнительных входов в чекерах (checker), чтобы сообщить формальным механизмам, что они могут свободно рассматривать любые случаи, связанные со всеми возможными значениями переменных сразу.

На этом вебинаре мы покажем, как, обладая небольшими знаниями в области разработки и предусмотрительностью с вашей стороны, можно использовать эти два принципа, чтобы сократить формальный анализ проекта до нескольких минут или часов.


Обратите внимание, что этот вебинар будет относительно техническим: примеры будут включать RTL-код - предполагается знакомство с Verilog или VHDL.

Чему Вы Научитесь:

  • Концептуальной основе независимости от данных (DI) и недетерминизма (ND)
  • Как быстро определить элементы DUT, к которым могут быть применены эти методы проверки
  • Как настроить формальный тестбенч с системными утверждениями Verilog (SVA) для реализации этих

Целевая аудитория:

  • Инженеры-разработчики и инженеры-верификаторы, которые только начинают работу с формальной верификацией

Охватываемые Продукты:


Вебинар состоится 11 ноября 2021
Время проведения 08:00 AM Pacific Standard Time
Подробности и регистрация

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

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

Intel онлайн тренинг: Переиспользование готовых модулей проекта

Подробнее

Новинки

Open-source + VHDL + IEEE 802.11 = bladeRF

Подробнее

Вебинар

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

Подробнее

Анонсы

Intel Open FPGA Stack - Простая разработка пользовательских платформ

Подробнее

ЦОС на FPGA: простой КИХ фильтр на Veriog

Подробнее
Чуть больше преимуществ для наших патронов на Patreon

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

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

Поточное вычисление двоичного логарифма

Подробнее

Верификация

Верификация проблем с пересечением тактовых сигналов в ПЛИС с помощью ALINT-PRO

Подробнее

SystemVerilog

Статическое в SystemVerilog

Подробнее

Xilinx Vivado

Стратегии оптимизации HDL-кода и синтезатора нетлиста для FPGA

Подробнее

Инструкции к сайту

Оформление статей для сборника

Подробнее

Общее

Основы статического временного анализа. Часть 1: Period Constraint.

Подробнее

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

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

Подробнее

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

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

Подробнее

Прочее

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

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

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

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

Платформа прототипирования СБИС и СФ-блоков от Siemens EDA

Подробнее

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

Сто вопросов к основателю FPGA комьюнити

Подробнее

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

Вебинар «Разработка на ПЛИС с применением IP-ядер российского производства»

Подробнее

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

День технологий Intel FPGA

Подробнее

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

Вебинар о инструментах разработки на языках C и C++ для ПЛИС Microchip — 16 и 17 ноября в 15.00(мск)

Подробнее

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

Как быстро завершить верификацию CDC+RDC с помощью иерархических методологий

Подробнее

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

Formal 101 - Независимость от данных и Non-Determinism

Подробнее

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

Конференция OpenTapeOut

Подробнее

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

Проходим туториал по Questa Sim - FPGA Monkey Stream #36

Подробнее

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

Итоги 7-го Российского Форума «Микроэлектроника 2021»

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

Объявления

Ищу сотрудников

Инженер-программист ПЛИС

Подробнее

Ищу сотрудников

Инженер-программист ПЛИС г. Москва

Подробнее

Продам

QMTECH Xilinx SoC zynq 7000 отладочная плата

Подробнее

Ищу сотрудников

Инженер-верификатор (UVM)

Подробнее

Продам

Курс по VHDL

Подробнее

Ищу сотрудников

Инженер-разработчик на ПЛИС Москва\Гибрид, гибкий график full time

Подробнее

Ищу сотрудников

Верификация SoC, инженер или старший инженер

Подробнее

Ищу сотрудников

FPGA-инженер встраиваемых систем (нейроинтерфейсы) в SberDevices

Подробнее

Ищу сотрудников

Вакансия SoC/FPGA design verification engineer_R&D центр SK hynix

Подробнее
Все объявления

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