Несинхронизированная Симуляция SystemC/TLM

Этот пример подсвечивает использование 'Несинхронизированного' режима синхронизации, когда вы генерируете компонент SystemC™/TLM из модели Simulink с помощью цели tlmgenerator или в Simulink Coder или в Embedded Coder™.

В моделях Simulink® перемещением данных между источниками и приемниками управляют частоты дискретизации сигнала и централизованный решатель синхронизации. В моделях SystemC/TLM взаимодействиями между приемниками данных и источниками управляют ядро симуляции SystemC и усовершенствования времени через SC_THREADs, совместно дающий к управлению другому потоку через wait вызовы.

Для несинхронизированных симуляций SystemC/TLM модель игнорирует аннотируемые задержки коммуникационных интерфейсов и обработки. В таких моделях цель только, чтобы иметь симуляцию, которая дает к правильным результатам путем гарантирования, что инициаторы и цели могут успешно синхронизировать перемещение данных. Нет никакой попытки оценить производительность развернутой системы. Никакое время симуляции не должно протекать, в то время как в несинхронизированной симуляции, потому что синхронизация является полностью базирующимся событием.

Для этого примера мы используем модель Simulink КИХ-фильтра как основание генерации SystemC/TLM.

Продукты, требуемые запускать эту демонстрацию:

  • MATLAB

  • Simulink

  • Simulink Coder

  • HDL Verifier

  • SystemC 2.3.1 (включает библиотеку TLM),

  • Для верификации кода сделайте и совместимый компилятор GNU, gcc, в вашем пути на Linux® или Визуальном компиляторе Studio® в вашем пути на Windows®

Примечание: пример включает процедуру сборки генерации кода. Simulink не разрешает вам создавать программы в области установки MATLAB. При необходимости превратитесь в рабочую директорию, которая не находится в области установки MATLAB до запуска никакой сборки.

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

Откройте несинхронизированную модель испытательного стенда TLM, или в окне команды MATLAB выполнитесь:

  >> openTlmgDemoModel('uttb')

Следующая модель открывается в Simulink.

2. Рассмотрите целевые параметры конфигурации генератора TLM

В окне модели, в меню Simulation выбирают Model Configuration Parameters... В диалоговом окне Configuration Parameters выберите представление TLM Generator и вкладку TLM Testbench и рассмотрите настройки испытательного стенда как показано в следующем изображении. Установите многословный флажок сообщения испытательного стенда, чтобы видеть полный журнал взаимодействия инициатора/цели в симуляции SystemC/TLM. Поскольку это будет тысячами линий, при желании отменяют выбор опции, чтобы получить краткий журнал симуляции SystemC/TLM.

3. Создайте модель

В окне модели щелкните правой кнопкой по блоку DualFilter и выберите C/C ++ Code> Generate Code для этой Подсистемы в контекстном меню, чтобы запустить компонент TLM и генерацию испытательного стенда. Или можно выполнить следующую команду в окне команды MATLAB:

  >> buildTlmgDemoModel('uttb')

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

### Starting Simulink Coder build procedure for model: DualFilter
### Successful completion of Simulink Coder build procedure for model: DualFilter

4. Откройте сгенерированные файлы

Откройте сгенерированный исходный код испытательного стенда в веб-браузере MATLAB путем нажатия на 'DualFilter_uttb_tlm_tb.cpp' в сгенерированном отчете или в редакторе MATLAB:

5. Рассмотрите сгенерированный код

Спецификация, 'Не синхронизируя' результаты в испытательном стенде, дающем компоненту TLM команду запускаться в несинхронизированном режиме посредством специального интерфейса конфигурирования, mw_backdoorcfg_IF. Как код указывает, выбор синхронизации режима является динамическим и может быть изменен в ходе симуляции. Поскольку этим выбором является просто построение симуляции, он не запрограммирован посредством "парадной двери" транзакция TLM.

Кроме того, как код указывает, испытательный стенд должен установить локальный объект помощника с правильным режимом синхронизации для того, чтобы гарантировать, что его инициатор распараллеливает, используют соответствующую синхронизацию в вызовах транзакции TLM.

Реализация несинхронизированного класса синхронизации, mw_syncuntimed_tb, в mw_support_tb.cpp файл показывает детали различных вызовов синхронизации, используемых потоками инициатора и транзакциями TLM. Как ранее утверждено, вызовы используют, ожидает SC_ZERO_TIME, и никаким задержкам не позволяют накопиться.

6. Проверьте сгенерированный код

В Configuration Parameters диалоговое окно, войдите в TLM Testbench диалоговое окно параметра конфигурации и нажатие Verify TLM Component кнопка, чтобы запустить сгенерированный испытательный стенд в несинхронизированном режиме синхронизации или в окне команды MATLAB выполняется:

  >> verifyTlmgDemoModel('uttb')

Это действие будет:

  • создайте сгенерированный код

  • запустите Simulink, чтобы получить входной стимул и ожидаемые результаты

  • преобразуйте данные Simulink в векторы TLM

  • запустите автономный исполняемый файл испытательного стенда SystemC/TLM

  • преобразуйте результаты TLM назад в данные Simulink

  • выполните сравнение данных

  • сгенерируйте Окно рисунка для любых сигналов, которые имели данные, неправильный выдерживает сравнение

7. Рассмотрите журнал выполнения

Опция, чтобы сгенерировать многословные сообщения была выбрана в порядке, чтобы видеть, как потоки инициатора испытательного стенда взаимодействуют и синхронизируются с целью. В несинхронизированной симуляции заметьте, как метка времени остается в '0 с', и весь опрос и синхронизированный ожидает, zero-sim-time точки синхронизации.

### Starting component verification
### Checking available compiler.
### Building testbench and TLM component.
### Running Simulink simulation to capture inputs and expected outputs.
### Executing TLM testbench to generate actual outputs.
 
        SystemC 2.3.1-Accellera --- Jun 18 2014 15:36:00 
        Copyright (c) 1996-2014 by all Contributors, 
        ALL RIGHTS RESERVED 
[       0 s] (readerThread) 		## found input field tlmg_in1 at tlmg_tlminvec fieldnum 0 
[       0 s] (readerThread) 		## found input field tlmg_in2 at tlmg_tlminvec fieldnum 1 
[       0 s] (readerThread) 		## found output field tlmg_out1 at tlmg_tlminvec fieldnum 2 
[       0 s] (readerThread) 		## found output field tlmg_out2 at tlmg_tlminvec fieldnum 3 
[       0 s] (readerThread) 		## setup 2 input data fields, 2 output data fields 
## STARTING SIMULATION 
[       0 s] (writerThread) ## Start of vectors from MAT file.  Will display '.' for every 100 vectors played. 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM write transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ## vec     0: 
##	 initialized input dataset 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (readerThread) 		##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM write transaction to target component at address 00000000 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ## vec     1: 
##	 initialized input dataset 
[       0 s] (readerThread) 		##	 TLM write transaction to target component at address 0x000020 
[       0 s] (readerThread) 		##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM write transaction to target component at address 00000000 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ## vec     2: 
##	 initialized input dataset 
[       0 s] (readerThread) 		##	 syncing to interrupt signal for data ready in output buffer... 
[       0 s] (readerThread) 		##	...saw interrupt 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM write transaction to target component at address 00000000 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 waiting for explicit amount of time (time = 0 ns + 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (readerThread) 		##	 (Command/Status reg data value = 0x00012204) 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 polling for input and output buffers empty... 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000010 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00012204) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 wrote actual output dataset to MAT file buffer. 
[       0 s] (readerThread) 		##	 initialized expected output dataset 
[       0 s] (readerThread) 		##	 actual output dataset matched expected output dataset 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 waiting for explicit amount of time (time = 0 ns + 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (readerThread) 		##	 (Command/Status reg data value = 0x00012200) 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00012200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000010 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 wrote actual output dataset to MAT file buffer. 
[       0 s] (readerThread) 		##	 initialized expected output dataset 
[       0 s] (readerThread) 		##	 actual output dataset matched expected output dataset 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 waiting for explicit amount of time (time = 0 ns + 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (readerThread) 		##	 (Command/Status reg data value = 0x00012200) 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00012200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000010 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 waiting for explicit amount of time (time = 0 ns + 0 ns). 
[       0 s] (readerThread) 		##	 wrote actual output dataset to MAT file buffer. 
[       0 s] (readerThread) 		##	 initialized expected output dataset 
[       0 s] (readerThread) 		##	 actual output dataset matched expected output dataset 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (readerThread) 		##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 syncing to interrupt signal for data ready in output buffer... 
[       0 s] (writerThread) ##	...saw polling return expected value. (bitValue=0x00110000, bitMask=0x00110000, masked csr=0x00110000) 
[       0 s] (writerThread) ## vec     3: 
##	 initialized input dataset 
[       0 s] (writerThread) ##	 TLM write transaction to target component at address 00000000 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ## vec     4: 
##	 initialized input dataset 
[       0 s] (writerThread) ##	 TLM write transaction to target component at address 00000000 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 


<<<<<<<<<<<  SNIP >>>>>>>>>>>>>>

[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00012200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000010 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 waiting for explicit amount of time (time = 0 ns + 0 ns). 
[       0 s] (readerThread) 		##	 wrote actual output dataset to MAT file buffer. 
[       0 s] (readerThread) 		## end of output vectors in MAT file vectors/tlmg_tlminvec.mat for output number 0 
[       0 s] (readerThread) 		## end of output vectors in MAT file vectors/tlmg_tlminvec.mat for output number 1 
[       0 s] (readerThread) 		##	 initialized expected output dataset 
[       0 s] (readerThread) 		##	 actual output dataset matched expected output dataset 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (readerThread) 		##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (readerThread) 		##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (readerThread) 		## end of output data...Terminating readerThread 
[       0 s] (readerThread) 		 
############################################# 
## END OF VECTORS. PLAYED   501 VECTORS.   ## 
## DATA MISCOMPARES     :     0            ## 
## TRANSPORT ERRORS     :    NO            ## 
## MAT FILE WRITE ERRORS:    NO            ## 
############################################# 
[       0 s] (readerThread) 		##	 Wrote results MAT file. 
[       0 s] (writerThread) ##	...saw polling return expected value. (bitValue=0x00110000, bitMask=0x00110000, masked csr=0x00110000) 
[       0 s] (writerThread) ## end of input vectors in MAT file vectors/tlmg_tlminvec.mat for input number 0 
[       0 s] (writerThread) ## end of input vectors in MAT file vectors/tlmg_tlminvec.mat for input number 1 
[       0 s] (writerThread) ##	 waiting for explicit amount of time (time = 0 ns + 0 ns). 
[       0 s] (writerThread) ##	 polling for input and output buffers empty... 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	...saw polling return expected value. (bitValue=0x00110000, bitMask=0x00110000, masked csr=0x00110000) 
[       0 s] (writerThread) ##	...saw polling return expected value. (bitValue=0x00110000, bitMask=0x00110000, masked csr=0x00110000) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 TLM read  transaction to target component at address 0x000020 
[       0 s] (writerThread) ##	 (Command/Status reg data value = 0x00112200) 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ##	 syncing to local time offset (delay = 0 ns). 
[       0 s] (writerThread) ## end of data...Terminating initiator thread. 
## SIMULATION HAS ENDED 
### Comparing expected vs. actual results.
Data successfully compared for signal tlmg_out1.
Data successfully compared for signal tlmg_out2.