
1 Введение
2 Описание модуля с фиксированными параметрами — CordicSimple_v1
3 Небольшая модернизация — CordicSimple_v2
4 Описание параметризируемого модуля — CordicParam_v1

1 Введение
2 Описание модуля с фиксированными параметрами — CordicSimple_v1
3 Небольшая модернизация — CordicSimple_v2
4 Описание параметризируемого модуля — CordicParam_v1

В 2010 году я участвовал в интервьировании на позицию по моделированию и верификации процессорных ядер. Один из кандидатов был благообразный седой американец, который до этого работал в IBM.

AI - не микроархитектор, не проектировщик и не верификатор. Это все-лишь гламурный поисковик уже решенных и опубликованных задач. Именно такой вывод следовал из предоставленных мною на конференции SNUG Silicon Valley 2026 Читать полностью »
Привет! Меня зовут Михаил, я руковожу отделом верификации в YADRO. В этом посте я поделюсь нашим опытом верификации и рассмотрю организацию этой работы на разных уровнях. Останавливаться на всех технических подробностях не планирую, но постараюсь осветить все важные моменты, чтобы по итогам поста у вас сложилась цельная картина.