2021 Ретроспектива. Инновации в проверке

Как мы установили в прошлом году, мы будем использовать январский выпуск этого блога, чтобы оглянуться на статьи, которые мы рассмотрели в прошлом году. Мы потеряли Джима Хогана и его знания в начале прошлого года, но приобрели нового и тоже известного эксперта в лице Рауля Кампосано (еще одного друга Джима). Пол (GM, Verification at Cadence), Рауль (Silicon Catalyst, предприниматель, бывший технический директор Synopsys) и я готовы продолжить эту серию до 2022 года и далее. Как всегда, отзывы приветствуются.

Выбор 2021 года

Это блоги по порядку, с января по декабрь. Все получили хорошие удары. Самым горячим из всех была ретроспектива, подсказавшая мне, что вы тоже хотите узнать, что другим показалось наиболее интересным 😀. В этом году выделялись «Поиск больших дыр в покрытии» и «Аджайл и проверка», за которыми следуют «Анализ побочных каналов» и «Инструментирование пост-кремниевой проверки». Довольно хорошие показатели того, где вы ищете новые идеи.

2020 Ретроспектива

Поиск больших дыр в покрытии

Сокращение времени компиляции в эмуляции

Agile и проверка, валидация

Фаззинг для проверки безопасности SoC

Нейронные сети и CR-тестирование

Инструментарий посткремниевой проверки

Анализ побочных каналов в RTL

Абстракция акселератора, подобная ISA

Проверки согласованности памяти при RTL

Моделирование мощности на основе обучения

Масштабируемое конколическое тестирование

Взгляд Павла

Мне очень нравится этот блог; Не могу поверить, что прошло уже 2 года. Меня поражает, как Бернард каждый месяц находит что-то новое и интересное. Когда мы запускали этот блог, мы намеревались просто поделиться интересными исследованиями и оценить их, но на практике статьи напрямую повлияли на дорожную карту Cadence в области проверки. Что, я думаю, является высшим проявлением признательности.

Самой большой темой, которую я видел в наших блогах 2021 года, было поднятие абстракции. Как и в случае последних 30 лет, это по-прежнему является самым большим рычагом для повышения производительности. Хотя я, вероятно, должен квалифицировать это как предметно-ориентированный абстракция. Исторически сложилось так, что абстракции не зависят от приложения — от полигона до ворот, от списка соединений до RTL. Теперь абстракции часто фрагментируются — от ISA к ILA для проверки ускорителя в сентябрьском блоге. Сопоставление поведенческих аксиом высокого уровня с SystemVerilog для проверки согласованности памяти в октябрьском блоге. Verilog to Chisel для гибкой проверки ЦП в апрельском блоге. Утверждения, обобщающие наборы симуляций для проверки безопасности в майском блоге. И затем, конечно, некоторые абстракции продолжали оставаться независимыми от предметной области: от уровня шлюза до C++ для моделирования мощности на системном уровне в ноябрьском блоге. Освещение текстовых тегов в февральском блоге.

Другая тема, которая продолжает проявляться, — это то, как инновации возникают на пересечении различных навыков и взглядов. Февральский блог об использовании алгоритмов классификации документов для поиска пробелов в покрытии — отличный пример этого года. Ранние методы машинного обучения из 1980-х заново открыты и повторно применены для проверки ЦП в июньском блоге. Теория игр, используемая для оптимизации времени компиляции FPGA в эмуляции в мартовском блоге. Было здорово видеть, как Бернард применил этот принцип в нашей собственной подборке статей в этом году, за несколько месяцев отвлекшись от «функциональной проверки» на такие темы, как питание, безопасность и электрические ошибки. Это помогает нам самостоятельно соединить точки между двумя разными областями.

С нетерпением ждем продолжения нашего случайного прохождения проверки в этом году!

Взгляд Рауля

Не зацикливаясь на какой-то конкретной области, с июня по декабрь мы затронули множество интересных тем в Верификации. Двумя наиболее популярными из них были встроенная логика для обнаружения флип-флопов (аппаратных ошибок) и оценка утечки канала на стороне питания на уровне RTL. Еще одна статья RTL-Level посвящена согласованности памяти. На еще более высоком уровне мы рассмотрели абстракции уровня инструкций для проверки. У нас также были обязательные документы по ML/NN, одна для создания лучших псевдослучайных тестов, другая для построения точных моделей мощности IP. Наконец, наш декабрьский выбор Concolic Testing для охвата трудно активируемых веток также касается увеличения охвата тестами.

Одной из областей, на которых мы фокусируемся в этом блоге, является конкурентоспособность; методологические документы, основополагающие документы, расширения существующих подходов и слишком маленькие ниши не подходят по разным причинам. Это, конечно, имеет мало общего с техническими достоинствами. Некоторые из представленных исследований созрели для принятия, например, использование ML/NN для улучшения различных задач в EDA. Некоторые связаны с методологией, например, инфраструктура эмуляции; некоторые из них более фундаментальны, например, абстракции более высокого уровня. Другие представляют собой интересные ниши, например утечка побочного канала. Но все они достойны исследования, и чтение статей было потрачено с пользой!

Мой взгляд

Мы втроем оживленно обсуждали, по какому принципу (если таковой есть) я руководствуюсь при выборе работ. Опубликовано на крупном форуме наверняка. Как сказал Пол, это было что-то вроде случайного блуждания по темам. Я хотел бы получить предложения от читателей, чтобы направлять наши выборы. Судя по хитам вас много, но вы явно стесняетесь делиться своими идеями. Может быть, написать мне личное письмо было бы проще — info@findthestory.net.

• Меня особенно интересуют сложные технические проблемы, с которыми вы постоянно сталкиваетесь
• Если можно (не обязательно), дайте ссылку на статью по теме. Это можно опубликовать на любом форуме.
• Меня не так интересуют решенные проблемы — как вы использовали какой-то инструмент поставщика, чтобы заставить что-то работать в вашем потоке проверки. Если только вы не считаете, что ваш пример демонстрирует какую-то принципиально полезную возможность, которую можно обобщить за пределы вашего приложения.

Тем временем мы продолжим нашу случайную прогулку, дополненную темами, которые, как мы слышим, остаются очень актуальными — проверка согласованности, безопасность, абстракция.

Поделитесь этим постом через: Источник: https://semiwiki.com/eda/306830-2021-retrospective-innovation-in-verification/