caxapa.ru :: Не так все мрачно! Методов верификации блоков, описанных на *HDL, море, и они точно работают. Процессорное ядро можно формально верифицировать со 100% надежностью.

Evgeny_CD^{Архитектор} (25.02.2024 21:45, просмотров: 54) ответил Cкpипaч на Изобретением своей собственной системы команд страдает каждый первый погромист (если не бить по рукам). Вы же заглянули ~~в бездну~~ сильно дальше :)

Не так все мрачно! Методов верификации блоков, описанных на *HDL, море, и они точно работают. Процессорное ядро можно формально верифицировать со 100% надежностью.

Ответить

Средства и методы разработки