Вебинар по формальной верификации регистров ввода/вывода

Даже небольшой компонент, описанный при помощи RTL, может содержать в себе сотни регистров управления и статуса. Как убедиться, что все они работают правильно? Об этом - в предстоящем вебинаре от Siemens.

Что вы узнаете из данного вебинара?

• Как максимально эффективно проверить, что ваши регистры управления и статуса работают в соответствии с заданной спецификацией. Сюда входит как проверка стандартных операций с регистрами (запись/чтение, сброс, только чтение и т.п.), так и проверка сценариев поведения, заданных пользователем.
• Как работать с регистрами напрямую и "через черный ход".
• Выясните, что вам не нужно ничего знать про формальную верификацию - все уже работает "из коробки".

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

Дата проведения: 18.03.2021.