209 похожих чатов

Знаю что IBM в Хайфе разрабатывало тул Genesis для верификации.

Я его в rtl мире встречал. И он дорогой был. У вас таже тема?

1 ответов

13 просмотров

нет, у нас верификация происходит на этапе создания ПО, в нашей IDE, а не после. http://ru.genesis.world/GenesisWhitePaperRu.pdf

Похожие вопросы

Обсуждают сегодня

Карта сайта