Просмотр исходного текста страницы UVM/Использование Register model

{{UVM TOC}}

== Implicit Prediction (неявное предсказание) ==

<!-- Implicit prediction is the mode I described earlier where you have a register model, you
issue writes and reads, and the model is updated. However, for the model to be updated,
you must call the set_auto_predict function with a value of 1. For example:

This too should be done in the connect_phase of the env class. When using this mode of
prediction, the model “thinks” it knows what the values of the actual registers are
because this mode of prediction does not pick up transactions to the design registers that
did not originate from the register model. Implicit prediction is great for sequences
because you are just doing transactions, but it is not good for a scoreboard that needs to
retrieve accurate register information to validate functionality.
-->
Implicit prediction является режимом, в котором над регистровой моделью выполняются команды read и write, которые обновляют состояние модели. Однако, для включения автомотического обновления модели необходимо вызвать функцию set_auto_predict со значением 1. Например:

 regmodel.default_map.set_auto_predict(1);

Это должно быть выполнено в фазе connect_phase класса env (окружения). При использовании этого режима предсказания, модель "считает, что" она знает, чему равны значения регистров в DUT, потому что этот режим предсказания не собирает транзакции к регистрам проекта, которые происходят не от регистровой модели. Такое неявное предсказание хорошо подходит для последовательностей (sequences), потому что просто выполняются операции (чтения/записи), но это не достаточно для scoreboard, которому необходимо получить точную регистровую информацию для проверки функциональности.


== Explicit Prediction ==

<!-- With explicit prediction, the register model is also integrated with the bus monitor. With
this integration, the register model can be updated even when it does not initiate the
transaction because it updated via the monitor. In this case, set_auto_predict would be
passed a value of 0 and a uvm_reg_predictor needs to be instantiated. The predictor is
the component that observes the transaction from the monitor and then calls the predict
function in the register model to do the update. A diagram will illustrate the relationship
between these components.
-->
При явном предсказании, регистровая модель также интегрируется с монитором шины. Благодаря этой интеграции, регистровая модель может быть обновлена, даже если она не инициирует транзакцию, поскольку она обновляется с помощью монитора. В этом случае, в set_auto_predict будет передано значение 0, и uvm_reg_predictor должен быть создан.Предиктор является компонентом, который наблюдает транзакции от монитора, а затем вызывает функцию predict() в регистровой модели, чтобы обновить её. Схема иллюстрируют отношения между этими компонентами.

{| align=center
! [[File:Uvm reg Explicit Prediction.png]]
|-
! Рисунок 1: Register Predictor
|}

<!-- In your env you would instantiate the uvm_reg_predictor parameterized with your bus sequence item type. In the connect_phase you would do the following:
* Set the predictor map to the register model map.
* Set the predictor adapter to the register adapter.
Connect the predictor to the monitor.

This mode of prediction can be used to issue bus transactions, but is also excellent for
checking since it is up to date with the values in the RTL.-->

В вашем окружении вы могли бы создать экземпляр uvm_reg_predictor параметрированный типом транзакции шины. В connect_phase вы могли бы сделать следующее:

*     Установить карту(map) предиктора в карту регистровой модели.
*     Установить адаптер предиктора в адаптер регистра.

Подключите предиктор к монитору.

Этот режим предсказания можно использовать для передачи транзакций шины, но также отлично подходит для проверки, так как он держит в актуальном состоянии модель в соответствии со значениями в RTL.

== Passive Prediction ==

<!-- Passive prediction is exactly like explicit prediction with one exception; it is not connected
to a sequencer. With no sequencer, read and write transactions cannot be issued. This
mode of prediction is used for checking only.

Let’s review a code example that you would add to the existing dut_env class.

I have declared two instances of the register model: regmodel and sb_regmodel. The first
one, regmodel, is for sequences only and will use implicit prediction. The second one,
sb_regmodel, will use explicit prediction so that it can perform accurate checking and that
data could be used in a scoreboard. In the connect_phase, I create the adapter for
regmodel and associate the adapter and the sequencer to this model with the
set_sequencer method of the map. I then set the auto predict for implicit prediction. I do
the same for the sb_regmodel, but the predictor is also configured. Here I set the auto
predict for explicit prediction and enable checking via the read function with the
set_check_on_read call. It would also be perfectly valid to use passive prediction here
since the sb_regmodel will not be issuing transactions. To make it passive prediction, the
set_sequencer call would not be made.

This chapter was meant to serve as an introduction of the usage of the register model. I
highly encourage you to take a look at the User’s Guide for more information as you begin
to develop your model.-->

Пассивное предсказание такое же как и явное предсказание с одним исключением; регистровая модель не подключена к секвенсору. При отсутствии секвенсора, транзакции чтения и записи не могут быть переданы. Этот способ предсказания используется только для проверки.

Давайте рассмотрим пример кода, который вы бы добавили к существующему классу dut_env.

[[Файл:Uvm reg Passive Prediction .png]]

Я объявил два экземпляра регистровой модели: regmodel и sb_regmodel.Первый, regmodel, предназначен только для последовательностей и будет использовать неявное предсказание. Второй, sb_regmodel, будет использовать явное предсказание так, что он сможет выполнять точную проверку и что данные смогут быть использованы в scoreboard. В connect_phase, я создаю адаптер для regmodel и связываю адаптер и секвенсор этой модели с помощью метода карты(map) set_sequencer(). Затем я устанавливаю авто предсказание для неявного предсказания. Я делаю то же самое для sb_regmodel, но предиктором также настроен. Здесь я установил авто предсказание для явного прогнозирования и включил проверку с помощью функции чтения с вызовом set_check_on_read(). Было бы также вполне допустимо использовать пассивное предсказание здесь, поскольку sb_regmodel не будет передавать транзакции. Чтобы сделать пассивным предсказание, не нужно вызывать метод для карты set_sequencer().

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