0-In

0-In  (разработчик: Mentor Graphics Technologies) — Комплект программ 0-In предназначен для функциональной верификации цифровых систем на основе синтеза ассертов, формальной верификации ассертов и использования специализированных IP-блоков для верификации.

Решаемые задачи

функциональная верификация цифровых систем

Объект решения

цифровые системы

Ссылки

• Описание 0-In на сайте производителя.