Просмотр исходного текста страницы Спец курс (Верификация цифровых схем)/Практические задания (Лекция 6)

{{ВЦС TOC}}

1. Описать регистровую модель по заданной спецификации тестируемого модуля

<p dir="ltr"> '''Спецификация 1.''' </p><p dir="ltr"> </p>

{|class=standard  align=center cellspacing="0" cellpadding="5" border="1"
|-
! <p dir="ltr">Регистр</p>
! <p dir="ltr">Размер</p>
! <p dir="ltr">Смещение адреса</p>
! <p dir="ltr">Имя поля</p>
! <p dir="ltr">Размер поля</p>
! <p dir="ltr">Тип доступа</p>
! <p dir="ltr">Описание</p>
|-
|  rowspan=4|CTRL
|rowspan=4|32 бита
|rowspan=4|0x0
| <p dir="ltr">st1</p>
| <p dir="ltr">2 бита</p>
| <p dir="ltr">RW</p>
| <p dir="ltr">st1 = CTRL[1:0], чтение, запись</p>
|-
| <p dir="ltr">st2</p>
| <p dir="ltr">6 бит</p>
| <p dir="ltr">RO</p>
| <p dir="ltr">st2 = CTRL[2:7], только чтение</p>
|-
| rowspan=2|sum1
| rowspan=2|8 бит
| <p dir="ltr">RO</p>
| <p dir="ltr">sum1 = CTRL[15:8], только чтение</p>
|-
| <p dir="ltr">RO</p>
| <p dir="ltr">остальные биты CTRL[31:16] регистра только для чтения</p>
|-
| <p dir="ltr">DATA_IN</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0x1F</p>
| <p dir="ltr">data</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">RW</p>
| <p dir="ltr">data = DATA_IN[31:0], запись, чтение</p>
|-
| <p dir="ltr">DATA_OUT</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0x4F</p>
| <p dir="ltr">data</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">RO</p>
| <p dir="ltr">data = DATA_OUT[31:0], только чтение</p>
|}

<p dir="ltr">'''Спецификация 2.''' </p><p dir="ltr"> </p>

{|class=standard  align=center cellspacing="0" cellpadding="5" border="1"
|-
! <p dir="ltr">Регистр</p>
! <p dir="ltr">Размер</p>
! <p dir="ltr">Смещение</p>
! <p dir="ltr">Поля</p>
! <p dir="ltr">Размер поля</p>
! <p dir="ltr">Тип доступа</p>
! <p dir="ltr">Описание</p>
|-
| <p dir="ltr">INTR0</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0x0</p>
| <p dir="ltr">rdy0</p>
| <p dir="ltr">1 бит</p>
| <p dir="ltr">RO</p>
| <p dir="ltr">rdy0 = INTR0[0], только чтение</p>
|-
| <p dir="ltr">INTR1</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0x2F</p>
| <p dir="ltr">rdy1</p>
| <p dir="ltr">1 бит</p>
| <p dir="ltr">RO</p>
| <p dir="ltr">rdy1 = INTR1[0], только чтение</p>
|-
| <p dir="ltr">INTR2</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0x4F</p>
| <p dir="ltr">rdy2</p>
| <p dir="ltr">1 бит</p>
| <p dir="ltr">RO</p>
| <p dir="ltr">rdy2 = INTR2[0], только чтение</p>
|-
| <p dir="ltr">INTR3</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0x6F</p>
| <p dir="ltr">rdy3</p>
| <p dir="ltr">1 бит</p>
| <p dir="ltr">RO</p>
| <p dir="ltr">rdy3 = INTR3[0], только чтение</p>
|-
| <p dir="ltr">MMIN</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0x8F</p>
| <p dir="ltr">min</p>
| <p dir="ltr">16 бита</p>
| <p dir="ltr">RW</p>
| <p dir="ltr">min= MIN[31:16], запись, чтение</p>
|-
| <p dir="ltr">MMAX</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0xAF</p>
| <p dir="ltr">max</p>
| <p dir="ltr">16 бита</p>
| <p dir="ltr">RW</p>
| <p dir="ltr">max = MAX[15:0], запись, чтение</p>
|-
| <p dir="ltr">EN_W</p>
| <p dir="ltr">32 бита</p>
| <p dir="ltr">0xBF</p>
| <p dir="ltr">en</p>
| <p dir="ltr">1 бит</p>
| <p dir="ltr">WRC</p>
| <p dir="ltr">en = EN_W[31], запись, после чтения сбрасывается в 0</p>
|}

2. Разработать DUT или Slave Agent который будет работать с регистрами по следующему правилу.

2.1 Спецификация 1.
* После записи CTRL.ST1 в единицу CTRL.ST2 принимает значение 6'b100000 ровно через 100 us.
* После каждой записи поля CTRL.ST1 значение поля sum регистра CTRL инкрементируется 
* Значение регистра DATA_OUT меняется по правилу связанному со значениями регистра DATA_IN. Каждый раз когда мы записываем в регистр DATA_IN значение, оно сохраняется во внутренней очереди (DUT или SlaveAgent) длинной 4. После записи 4-го значения в DATA_IN, первое записанное значение в DATA_IN появляется в регистре DATA_OUT. До этого момента регистр DATA_OUT хранит нулевое значение, и так далее по приниципу FIFO.
2.2 Спецификация 2. 

3. Разработать тест по заданному сценарию с использованием регистровой модели.

:<p dir="ltr"> '''Сценарий 1'''</p><p dir="ltr"> Согласно Спецификации 1, произвести запись в регистр DATA_IN, случайное значение, после записать в поле st1 регистра CTRL значение 01. Дождаться пока поле st2 регистра CTRL примет значение 100000. После вычитать значение поля DATA_OUT. Повторить предыдущие действия 4 раза. После вычитать значение поля sum регистра CTRL. Если значение поля sum < 10, весь сценари повторить.</p>
:<p dir="ltr"> '''Сценарий 2'''</p><p dir="ltr"> Согласно Спецификации 2, Записать случайные значения в регистры MMIN, MMAX. Значение MMIN < MMAX. Записать в поле en регистрa EN_W единицу. После ожидать пока в поле rdy0 регистра INTR0 появится единица. Записать в поле en регистрa EN_W единицу. После ожидать пока в поле rdy1 регистра INTR1 появится единица. Записать в поле en регистрa EN_W единицу. После ожидать пока в поле rdy2 регистра INTR2 появится единица. Записать в поле en регистрa EN_W единицу. После ожидать пока в поле rdy3 регистра INTR3 появится единица. Прочитать регистр EN_W. Повторить предыдущие дейсвтия для 40 наборов значений регистра MMAX,  MMIN.</p>

4. Создать и подключить пользовательский предиктор регистровой модели. Добавить опцию очистки одного регистра при изменении бита в другом используя встроенные функции.

5. Разработать адаптер регистровой модели агента реализующего SPI интерфейс

6. Разработать адаптер регистровой модели агента реализующего AHB интерфейс