формальная верификация RTL кода

Ответить

Кто знает и кто пользовался этим?

Мне извесно только средство Cad_ence Con_formall (бывший софт компании Ver_plex)

FormalPro (http://www.mentor.com/formalpro) - на сколько я знаю активно используется сейчас в МЦСТ (http://www.mcst.ru).

Присоединяйтесь к обсуждению

Вы можете написать сейчас и зарегистрироваться позже. Если у вас есть аккаунт, авторизуйтесь, чтобы опубликовать от имени своего аккаунта.

Ответить в этой теме...

× Вставлено с форматированием. Вставить как обычный текст

Разрешено использовать не более 75 эмодзи.

× Ваша ссылка была автоматически встроена. Отображать как обычную ссылку

× Ваш предыдущий контент был восстановлен. Очистить редактор

× Вы не можете вставлять изображения напрямую. Загружайте или вставляйте изображения по ссылке.