| Методология проверки функционального покрытия при верификации контроля потока данных в системах на кристалле с использованием SystemVerilog и на примерах интерфейсов с протоколом AXI-Stream |
|
 |
|
|
| Авторы |
| | Латыпов М.А. |
| | Стародумов А.А. |
| | Ильясов Р.Ф. |
| Год публикации |
| | 2021 |
| DOI |
| | 10.31114/2078-7707-2021-3-71-75 |
| УДК |
| | 004.021 |
|
| Аннотация |
| | Функциональная верификация является одной из самых важных частей процесса разработки цифровых микросхем в последнее время. Причиной этому служат необходимость отслеживать внутреннюю работу системы, возможность изменить проект и, наконец, постоянно увеличивающаяся сложность цифровых устройств, что приводит к росту вероятности возникновения ошибок [1]. В данной статье поднимается проблема методологии проверки функционального покрытия в системах на кристалле в соответствии с протоколом AXI-Stream. |
| Ключевые слова |
| | функциональная верификация, функциональное покрытие, AXI-Stream, тестовая ситуация, handshake, clock, covergroup. |
| Ссылка на статью |
| | Латыпов М.А., Стародумов А.А., Ильясов Р.Ф. Методология проверки функционального покрытия при верификации контроля потока данных в системах на кристалле с использованием SystemVerilog и на примерах интерфейсов с протоколом AXI-Stream // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2021. Выпуск 3. С. 71-75. doi:10.31114/2078-7707-2021-3-71-75 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2021/pdf/D033.pdf |
