Принцип assert для решения задач поиска ошибок RTL кода при проектировании ПЛИС

摘要

Рассмотрена возможность применения принципа assert в верификационном окружении, позволяющего проводить выявления ошибки в RTL кода, а также проблемы возрастающей сложности проектов микроэлектронной техники, которые напрямую зависят от функциональной верификации в общем цикле разработки и верификации электронных изделий. Проведен краткий анализ особенностей функциональной верификации систем на кристалле, которая значительно усложняет процесс создания тестовых последовательностей для проведения качественной проверки работоспособности вновь разработанного проекта. Рассмотрены требования при выборе алгоритмов и математических моделей для верификационного окружения.