Formal 101 - Независимость от данных и Non-Determinism
На прошлом вебинаре “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
Подробности и регистрация
