Документация

Обзор представления времени моделирования

Время моделирования значительно отличается между имитатором ЛПВП и Simulink ®. Каждое приложение имеет свой собственный механизм синхронизации, и программное обеспечение проверки должно синхронизировать время моделирования между ними .

В имитаторе ЛПВП единица времени моделирования называется галочкой. Длительность деления определяется пределом разрешения имитатора ЛПВП. Предел разрешения по умолчанию - 1 нс, но может изменяться в зависимости от симулятора.

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

Взаимосвязь между Simulink и синхронизацией имитатора HDL влияет на следующие аспекты моделирования:

Во время выполнения моделирования Simulink передает текущее время моделирования в имитатор ЛПВП на каждом промежуточном этапе. (Промежуточный шаг соответствует совпадению времени выборки Simulink. На каждом промежуточном этапе применяются новые значения на входных портах или производится выборка выходных портов.)

Чтобы обновить имитатор ЛПВП с помощью Simulink во время косимуляции, вы должны преобразовать выборочное время симулятора в время симулятора ЛПВП (галочки) и позволить симулятору ЛПВП работать для вычисленного количества галочек.

Определение отношения синхронизации симулятора и имитатора ЛПВП

Различия в представлении времени моделирования можно согласовать одним из двух способов с помощью интерфейса Verifier™ HDL:

Установка режима синхронизации с помощью верификатора HDL

Панель Timescales диалогового окна Параметры блока косимуляции ЛПВП (HDL Cosimulation block parameters) определяет соответствие между одной секундой времени симулятора и некоторым количеством времени имитатора ЛПВП. Эта величина времени имитатора ЛПВП может быть выражена одним из следующих способов:

Панель Timescales позволяет выбрать оптимальные отношения синхронизации между Simulink и имитатором HDL, либо путем ввода эквивалента имитатора HDL, либо путем предоставления функции проверки HDL для расчета шкалы времени.

Вы можете выбрать, чтобы программа проверки HDL рассчитывала шкалу времени, пока вы устанавливаете параметры в диалоговом окне блока, щелкнув параметр Шкала времени, затем щелкнув Определить шкалу времени сейчас, или чтобы программа проверки HDL рассчитывала шкалу времени, когда начинается моделирование, выбрав Автоматически определять шкалу времени в начале моделирования.

На следующем рисунке показаны настройки по умолчанию на панели Шкала времени (Timescales) (пример показан для использования с ModelSim).

Инструкции по установке режима синхронизации вручную или с помощью диалогового окна «Временные шкалы» см. на панели «Временные шкалы» в справочнике блока косимуляции HDL.

Автоматическое определение отношения синхронизации

Чтобы программное обеспечение HDL Verifier рассчитало отношение синхронизации для вас:

Относительный режим синхронизации

Режим относительной синхронизации определяет следующее соответствие между временем моделирования в Simulink и имитатором HDL:

Это соответствие сохраняется независимо от разрешения синхронизации имитатора ЛПВП.

Следующий псевдокод показывает, как единицы времени Simulink преобразуются в отметки имитатора HDL:

InTicks = N * tInSecs

где InTicks - время имитатора ЛПВП в засечках, tInSecs - время Simulink в секундах, и N является масштабным коэффициентом.

LIBRARY ieee;
USE ieee.std_logic_1164.ALL;
ENTITY inverter IS PORT (
  
  inport : IN  std_logic_vector := "11111111";
  outport: OUT std_logic_vector := "00000000";
  clk:IN  std_logic
);
END inverter;

LIBRARY ieee;
USE ieee.std_logic_1164.ALL;

ARCHITECTURE behavioral OF inverter IS
BEGIN
  PROCESS(clk)
  BEGIN
    IF (clk'EVENT AND clk = '1') THEN
        outport <= NOT inport;
    END IF;
  END PROCESS;
END behavioral;

module inverter_clock_vl(sin, sout,clk);

input [7:0] sin;
output [7:0] sout;
input clk;
reg [7:0] sout;


always @(posedge clk) 
  sout <= ! (sin);
endmodule

Абсолютный режим синхронизации

Режим абсолютной синхронизации позволяет определить зависимость синхронизации между Simulink и имитатором HDL в терминах единиц абсолютного времени и масштабного коэффициента:

В режиме абсолютной синхронизации все моменты времени выборки и тактовые периоды в Simulink квантуются в клещи имитатора ЛПВП. Следующий псевдокод иллюстрирует преобразование:

tInTicks = tInSecs * (tScale / tRL)

где:

Например, при установке в области Timescales значения 1 с и ограничения разрешения имитатора ЛПВП 1 нс время выборки выходного порта 12 нс будет преобразовано в деление следующим образом:

			tInTicks = 12ns * (1s / 1ns) = 12
 	

Соображения по использованию режима синхронизации

При настройке режима шкалы времени, возможно, потребуется выбрать параметр в соответствии со следующими соображениями.

Установка времени выборки порта блока косимуляции HDL

В общем случае Simulink обрабатывает время выборки для портов блока косимуляции HDL следующим образом:

Если вы разрабатываете модель для косимуляции в режиме относительного времени, рассмотрите следующие рекомендации по времени выборки: