Сегодня, в субботу 26 февраля, на Сколковской Школе Синтеза Цифровых Схем Михаил Коробков проводит занятие по технологиям функциональной верификации: constrain solvers, cover bins и concurrent assertions. Примеры, которые мы подготовили для школы, вращаются вокруг протокола AXI для систем на кристалле,…
"Тайна сия велика есть" (Послания апостола Павла к ефесянам (5, 32))Китай произвел за 2021 год более 359.4 миллиарда микросхем. Сколько микросхем и полупроводников производит Россия в год? Где найти детальную информацию сколько микросхем, полупроводников и каких типов производит Российская микроэлектронная промышленность? Читать далее
Я постараюсь в общем рассказать о верификации цифровых схем. Верификация в данной области — это важный процесс, требующий привлечения опытных инженеров. Например, специалист по верификации, работающий над системами с ЦПУ, как правило должен владеть скриптовыми языками и…
Добрый день! Меня зовут Кирилл Зиборов, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье мы продолжим обсуждать методы и инструменты формальной верификации смарт-контрактов и их практическое применение для предотвращения уязвимостей. Мы подробно поговорим о методе дедуктивной верификации, а точнее, о фреймворке для тестирования и верификации смарт-контрактов — ConCert. Под кат