Добавление testbench'ей на языке Verilog в проект Vivado — различия между версиями

Материал из SRNS
Перейти к: навигация, поиск
Строка 186: Строка 186:
  
 
Сейчас все настройки TB'а, т.е. файлсета sim_imichnl_synthesizer, хранятся в песочнице, которая у нас не находится под системой контроля версий. Нужно добавить соответствующий код в скрипт регенерации проекта (традиционно его место до объявления настроек синтеза synth_1)
 
Сейчас все настройки TB'а, т.е. файлсета sim_imichnl_synthesizer, хранятся в песочнице, которая у нас не находится под системой контроля версий. Нужно добавить соответствующий код в скрипт регенерации проекта (традиционно его место до объявления настроек синтеза synth_1)
{{Hider|title = Вставка в prj_imitator.tcl
+
{{Hider|title = Вставка в prj_imitator.tcl для регенерации sim_imichnl_synthesizer
 
  |content = <source lang="tcl">
 
  |content = <source lang="tcl">
 
# =============== imichnl_synthesizer module test bench ====================
 
# =============== imichnl_synthesizer module test bench ====================
Строка 324: Строка 324:
 
      
 
      
 
     initial begin
 
     initial begin
         fork // Распаралеливание блоков
+
         fork // Распараллеливание блоков
 
             forever begin
 
             forever begin
 
                 #6000000 -> irq;
 
                 #6000000 -> irq;
Строка 462: Строка 462:
 
  |hidden = 1
 
  |hidden = 1
 
}}
 
}}
 +
 +
 +
А вот что мы добавляем в prj_imitator.tcl, чтобы этот набор для моделирования разворачивался вместе с проектом:
 +
{{Hider|title = Вставка в prj_imitator.tcl для регенерации sim_imitator_channel
 +
|content = <source lang="tcl">
 +
# =============== imitator_channel module test bench ====================
 +
# Create 'sim_imitator_channel' fileset (if not found)
 +
if {[string equal [get_filesets -quiet sim_imitator_channel] ""]} {
 +
  create_fileset -simset sim_imitator_channel
 +
}
 +
 +
set obj [get_filesets sim_imitator_channel]
 +
set files [list \
 +
"[file normalize "$origin_dir/tb/imitator_channel_tb.v"]"\
 +
"[file normalize "$origin_dir/verilog/top/global_param.v"]"\
 +
"[file normalize "$origin_dir/verilog/imitator_channel.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_synthesizer.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_sin_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_param.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_regfile.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_cos_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_delay_reg.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync_n.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/time_generator.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/channel_shift_reg.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/level_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/signal_sync.v"]"\
 +
"[file normalize "$origin_dir/tb/imitator_channel_tb_behav.wcfg"]"\
 +
]
 +
add_files -norecurse -fileset $obj $files
 +
 +
# Set 'sim_imitator_channel' fileset properties
 +
set obj [get_filesets sim_imitator_channel]
 +
set_property "include_dirs" "$origin_dir/verilog $origin_dir/verilog/top" $obj
 +
set_property "runtime" "3000000ns" $obj
 +
set_property "source_set" "" $obj
 +
set_property "top" "imitator_channel_tb" $obj
 +
set_property "xelab.nosort" "1" $obj
 +
set_property "xelab.unifast" "" $obj
 +
set_property "xsim.simulate.runtime" "3000000ns" $obj
 +
set_property "xsim.view" "$origin_dir/tb/imitator_channel_tb_behav.wcfg" $obj
 +
# ============ End of imitator_channel module test bench ====================
 +
</source>
 +
|hidden = 1
 +
}}
 +
 +
Обсудим команды, которые добавляются в скрипт. В первую очередь создается новый набор для симуляции, ему присваивается название sim_imitator_channel
 +
<source lang="tcl">
 +
if {[string equal [get_filesets -quiet sim_imitator_channel] ""]} {
 +
  create_fileset -simset sim_imitator_channel
 +
}
 +
</source>
 +
 +
 +
Далее в этот набор добавляются файлы:
 +
<source lang="tcl">
 +
set obj [get_filesets sim_imitator_channel]
 +
set files [list \
 +
"[file normalize "$origin_dir/tb/imitator_channel_tb.v"]"\
 +
"[file normalize "$origin_dir/verilog/top/global_param.v"]"\
 +
"[file normalize "$origin_dir/verilog/imitator_channel.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_synthesizer.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_sin_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_param.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_regfile.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_cos_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_delay_reg.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync_n.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/time_generator.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/channel_shift_reg.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/level_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/signal_sync.v"]"\
 +
"[file normalize "$origin_dir/tb/imitator_channel_tb_behav.wcfg"]"\
 +
]
 +
add_files -norecurse -fileset $obj $files
 +
</source>
 +
 +
 +
Далее указываются директории, в которых будет производиться поиск файл, подключенных с помощью директивы <code>`include</code>:
 +
<source lang="tcl">
 +
set obj [get_filesets sim_imitator_channel]
 +
set_property "include_dirs" "$origin_dir/verilog $origin_dir/verilog/top" $obj
 +
</source>
 +
 +
 +
Указывается топовый модуль для моделирования:
 +
<source lang="tcl">
 +
set_property "top" "imitator_channel_tb" $obj
 +
</source>
 +
 +
 +
Указывается топовый модуль для моделирования:
 +
<source lang="tcl">
 +
set_property "runtime" "3000000ns" $obj
 +
set_property "xsim.simulate.runtime" "3000000ns" $obj
 +
</source>
 +
 +
 +
Указывается wave-форма:
 +
<source lang="tcl">
 +
set_property "xsim.view" "$origin_dir/tb/imitator_channel_tb_behav.wcfg" $obj
 +
</source>
 +
 +
 +
Также в скрипте регенерации мы можем указать, какой набор симуляции считать активным по-умолчанию:
 +
<source lang="tcl">
 +
current_fileset -simset [ get_filesets sim_imitator_channel ]
 +
</source>
 +
 +
 +
== Итоговый скрипт регенерации проекта ==
 +
 +
 +
Итоговый скрипт регенерации проекта imitator будет выглядеть так:
 +
 +
{{Hider|title = Скрипт регенерации проекта prj_imitator.tcl
 +
|content = <source lang="tcl">
 +
#!/usr/bin/tclsh
 +
#
 +
# Vivado (TM) v2015.3 (64-bit)
 +
#
 +
# prj_imitator.tcl: Tcl script for re-creating project 'imitator'
 +
#
 +
# Generated by Vivado on Tue Mar 22 10:11:05 +0300 2016
 +
# IP Build 1367837 on Mon Sep 28 08:56:14 MDT 2015
 +
#
 +
# This file contains the Vivado Tcl commands for re-creating the project to the state*
 +
# when this script was generated. In order to re-create the project, please source this
 +
# file in the Vivado Tcl Shell.
 +
#
 +
# * Note that the runs in the created project will be configured the same way as the
 +
#  original project, however they will not be launched automatically. To regenerate the
 +
#  run results please launch the synthesis/implementation runs as needed.
 +
#
 +
 +
# Set the reference directory for source file relative paths (by default the value is script directory path)
 +
set origin_dir "."
 +
set sub_dir "sub"
 +
set prj_name "imitator"
 +
set prj_dir_name "prj_imitator"
 +
set topmodule_name "imitator_top"
 +
 +
 +
# Use origin directory path location variable, if specified in the tcl shell
 +
if { [info exists ::origin_dir_loc] } {
 +
  set origin_dir $::origin_dir_loc
 +
}
 +
 +
variable script_file
 +
set script_file "prj_$prj_name.tcl"
 +
 +
# Help information for this script
 +
proc help {} {
 +
  variable script_file
 +
  puts "\nDescription:"
 +
  puts "Recreate a Vivado project from this script. The created project will be"
 +
  puts "functionally equivalent to the original project for which this script was"
 +
  puts "generated. The script contains commands for creating a project, filesets,"
 +
  puts "runs, adding/importing sources and setting properties on various objects.\n"
 +
  puts "Syntax:"
 +
  puts "$script_file"
 +
  puts "$script_file -tclargs \[--origin_dir <path>\]"
 +
  puts "$script_file -tclargs \[--help\]\n"
 +
  puts "Usage:"
 +
  puts "Name                  Description"
 +
  puts "-------------------------------------------------------------------------"
 +
  puts "\[--origin_dir <path>\]  Determine source file paths wrt this path. Default"
 +
  puts "                      origin_dir path value is \".\", otherwise, the value"
 +
  puts "                      that was set with the \"-paths_relative_to\" switch"
 +
  puts "                      when this script was generated.\n"
 +
  puts "\[--help\]              Print help information for this script"
 +
  puts "-------------------------------------------------------------------------\n"
 +
  exit 0
 +
}
 +
 +
if { $::argc > 0 } {
 +
  for {set i 0} {$i < [llength $::argc]} {incr i} {
 +
    set option [string trim [lindex $::argv $i]]
 +
    switch -regexp -- $option {
 +
      "--origin_dir" { incr i; set origin_dir [lindex $::argv $i] }
 +
      "--help"      { help }
 +
      default {
 +
        if { [regexp {^-} $option] } {
 +
          puts "ERROR: Unknown option '$option' specified, please type '$script_file -tclargs --help' for usage info.\n"
 +
          return 1
 +
        }
 +
      }
 +
    }
 +
  }
 +
}
 +
 +
# Create project
 +
create_project $prj_name ./$prj_dir_name
 +
 +
# Set the directory path for the new project
 +
set proj_dir [get_property directory [current_project]]
 +
 +
# Set project properties
 +
set obj [get_projects $prj_name]
 +
set_property "default_lib" "xil_defaultlib" $obj
 +
set_property "part" "xc7z045fbg676-2" $obj
 +
set_property "sim.ip.auto_export_scripts" "1" $obj
 +
set_property "simulator_language" "Mixed" $obj
 +
set_property "source_mgmt_mode" "DisplayOnly" $obj
 +
 +
# Create 'sources_1' fileset (if not found)
 +
if {[string equal [get_filesets -quiet sources_1] ""]} {
 +
  create_fileset -srcset sources_1
 +
}
 +
 +
# Set 'sources_1' fileset object
 +
set obj [get_filesets sources_1]
 +
set files [list \
 +
"[file normalize "$origin_dir/verilog/top/$topmodule_name.v"]"\
 +
"[file normalize "$origin_dir/verilog/imitator.v"]"\
 +
"[file normalize "$origin_dir/verilog/imitator_channel.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_regfile.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_param.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_delay_reg.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_sin_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_cos_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_synthesizer.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync_n.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/channel_shift_reg.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/time_generator.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/signal_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/level_sync.v"]"\
 +
]
 +
add_files -norecurse -fileset $obj $files
 +
 +
# Set 'sources_1' fileset file properties for remote files
 +
# None
 +
 +
 +
# Set 'sources_1' fileset properties
 +
set obj [get_filesets sources_1]
 +
set_property "include_dirs" "$origin_dir/verilog $origin_dir/verilog/top" $obj
 +
set_property "top" "$topmodule_name" $obj
 +
 +
# Create 'constrs_1' fileset (if not found)
 +
if {[string equal [get_filesets -quiet constrs_1] ""]} {
 +
  create_fileset -constrset constrs_1
 +
}
 +
 +
# Set 'constrs_1' fileset object
 +
set obj [get_filesets constrs_1]
 +
 +
# Create 'sim_1' fileset (if not found)
 +
# It should exist! If Vivado doesn't found it, once will be generated
 +
if {[string equal [get_filesets -quiet sim_1] ""]} {
 +
  create_fileset -simset sim_1
 +
}
 +
 +
# Set 'sim_sim_1' fileset properties
 +
set obj [get_filesets sim_1]
 +
set_property "source_set" "" $obj
 +
set_property "top" "$topmodule_name" $obj
 +
set_property "xelab.nosort" "1" $obj
 +
set_property "xelab.unifast" "" $obj
 +
 +
 +
# =============== imichnl_synthesizer module test bench ====================
 +
# Create 'sim_imichnl_synthesizer' fileset (if not found)
 +
if {[string equal [get_filesets -quiet sim_imichnl_synthesizer] ""]} {
 +
  create_fileset -simset sim_imichnl_synthesizer
 +
}
 +
 +
set obj [get_filesets sim_imichnl_synthesizer]
 +
set files [list \
 +
      "[file normalize "$origin_dir/tb/imichnl_synthesizer_tb.v"]"\
 +
      "[file normalize "$origin_dir/tb/imichnl_synthesizer_tb_behav.wcfg"]"\
 +
      "[file normalize "$origin_dir/verilog/imichnl_synthesizer.v"]"\
 +
      ]
 +
add_files -norecurse -fileset $obj $files
 +
 +
# Set 'sim_imichnl_synthesizer' fileset properties
 +
set obj [get_filesets sim_imichnl_synthesizer]
 +
set_property "source_set" "" $obj
 +
set_property "top" "imichnl_synthesizer_tb" $obj
 +
set_property "xelab.nosort" "1" $obj
 +
set_property "xelab.unifast" "" $obj
 +
set_property "xsim.view" "$origin_dir/tb/imichnl_synthesizer_tb_behav.wcfg" $obj
 +
# ============ End of imichnl_synthesizer module test bench ====================
 +
 +
 +
 +
# =============== imitator_channel module test bench ====================
 +
# Create 'sim_imitator_channel' fileset (if not found)
 +
if {[string equal [get_filesets -quiet sim_imitator_channel] ""]} {
 +
  create_fileset -simset sim_imitator_channel
 +
}
 +
 +
set obj [get_filesets sim_imitator_channel]
 +
set files [list \
 +
"[file normalize "$origin_dir/tb/imitator_channel_tb.v"]"\
 +
"[file normalize "$origin_dir/verilog/top/global_param.v"]"\
 +
"[file normalize "$origin_dir/verilog/imitator_channel.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_synthesizer.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_sin_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_param.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_regfile.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_cos_table.v"]"\
 +
"[file normalize "$origin_dir/verilog/imichnl_delay_reg.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync_n.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/time_generator.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/correlator/verilog/channel_shift_reg.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/level_sync.v"]"\
 +
"[file normalize "$origin_dir/$sub_dir/sync/verilog/signal_sync.v"]"\
 +
"[file normalize "$origin_dir/tb/imitator_channel_tb_behav.wcfg"]"\
 +
]
 +
add_files -norecurse -fileset $obj $files
 +
 +
# Set 'sim_imitator_channel' fileset properties
 +
set obj [get_filesets sim_imitator_channel]
 +
set_property "include_dirs" "$origin_dir/verilog $origin_dir/verilog/top" $obj
 +
set_property "runtime" "3000000ns" $obj
 +
set_property "source_set" "" $obj
 +
set_property "top" "imitator_channel_tb" $obj
 +
set_property "xelab.nosort" "1" $obj
 +
set_property "xelab.unifast" "" $obj
 +
set_property "xsim.simulate.runtime" "3000000ns" $obj
 +
set_property "xsim.view" "$origin_dir/tb/imitator_channel_tb_behav.wcfg" $obj
 +
# ============ End of imitator_channel module test bench ====================
 +
 +
 +
current_fileset -simset [ get_filesets sim_imitator_channel ]
 +
 +
 +
# Create 'synth_1' run (if not found)
 +
if {[string equal [get_runs -quiet synth_1] ""]} {
 +
  create_run -name synth_1 -part xc7z045fbg676-2 -flow {Vivado Synthesis 2014} -strategy "Vivado Synthesis Defaults" -constrset constrs_1
 +
} else {
 +
  set_property strategy "Vivado Synthesis Defaults" [get_runs synth_1]
 +
  set_property flow "Vivado Synthesis 2014" [get_runs synth_1]
 +
}
 +
set obj [get_runs synth_1]
 +
set_property "part" "xc7z045fbg676-2" $obj
 +
 +
# set the current synth run
 +
current_run -synthesis [get_runs synth_1]
 +
 +
# Create 'impl_1' run (if not found)
 +
if {[string equal [get_runs -quiet impl_1] ""]} {
 +
  create_run -name impl_1 -part xc7z045fbg676-2 -flow {Vivado Implementation 2015} -strategy "Performance_Explore" -constrset constrs_1 -parent_run synth_1
 +
} else {
 +
  set_property strategy "Performance_Explore" [get_runs impl_1]
 +
  set_property flow "Vivado Implementation 2015" [get_runs impl_1]
 +
}
 +
set obj [get_runs impl_1]
 +
set_property "part" "xc7z045fbg676-2" $obj
 +
set_property "steps.opt_design.args.directive" "Explore" $obj
 +
set_property "steps.place_design.args.directive" "Explore" $obj
 +
set_property "steps.phys_opt_design.is_enabled" "1" $obj
 +
set_property "steps.phys_opt_design.args.directive" "Explore" $obj
 +
set_property "steps.route_design.args.directive" "Explore" $obj
 +
set_property "steps.write_bitstream.args.readback_file" "0" $obj
 +
set_property "steps.write_bitstream.args.verbose" "0" $obj
 +
 +
# set the current impl run
 +
current_run -implementation [get_runs impl_1]
 +
 +
puts "INFO: Project created:$prj_name"
 +
</source>
 +
|hidden = 1
 +
}}
 +
  
 
== У другого пользователя ==
 
== У другого пользователя ==

Версия 20:16, 4 апреля 2016

Содержание

Пусть у нас есть дизайн для Vivado, проект которого разворачивается в соответствии со статьей Vivado и Git. Возможно, это конечный дизайн, возможно - сабмодуль для другого дизайна. Процедура добавления test bench'ей (далее TB) отличаться не будет, поэтому дальнейшее рассмотрение продолжим на примере сабмодуля imitator.


Задача - добавить TB'и для модулей imitator'а, причем

  • они должны храниться в СКВ и быть доступны всем разработчикам,
  • имеются в виду TB'и на языке Verilog для симуляторов типа Vivado Simulator, ModelSim и т.д., а не тесты на языках Си или Matlab для Verilator'а.


Подопечные

Для конкретики, будем добавлять в дизайн imitator TB'и для двух модулей:

  • imichnl_synthesizer, отвечающий за фазу несущей,
  • imitator_channel, являющийся топ-модулем для одного канала имитатора и включающий в себя первый модуль.


Наша конечная цель - правильно написанный скрипт регенерации проекта, включающий раскладывание TB'ей по полочкам, и сами файлы TB'а. Будем считать, что пользователь по-максимуму хочет использовать GUI и по-минимуму консоль и TCL. Тогда вырисовывается следующий workflow:

  • средствами GUI создать новый набор для моделирования (файлсет, включающий код TB'а, тестируемые модули и прочие файлы),
  • через GUI настроить этот набор,
  • через GUI выгрузить код регенерации,
  • подправить наш скрипт регенерации, чтобы TB разворачивался и настраивался вместе с проектом.


Добавление TB через GUI

Создание нового набора для симуляции

Накидаем через GUI новый TB, а потом перенесем его в tcl-скрипт! Начнем с TB для модуля imichnl_synthesizer.

В Flow Navigator (это панель слева в Vivado) в разделе Simulation выбираем Simulation Settings

20160404 vivado revolution2.png

В открывшемся окне в разделе Simulation в графе Simulation top modulw name создаем новый файлсет, выбирая Create Simulation Set

20160404 vivado revolution3.png

ВНИМАНИЕ Не занимайте и не удаляйте файлсет sim_1. Vivado его очень любит и будет создавать заново, делая при этим активным. Лучше оставить sim_1 пустым.

Новому файлсету даем осмысленное название, например, sim_imichnl_synthesizer

20160404 vivado revolution7.png

Очищаем графу Simulation top module name, т.к. файл с кодом TB'а у нас ещё не создан.

На вкладке Advanced запрещаем включать в TB все файлы проекта, снимая галку с Include all design sources for simulation. Иначе он добавит все наши файлы в файлсет этого TB'а, что нам не нужно.

20160404 vivado revolution11.png

Закрываем окно, нажимая Ok. Vivado задает вопрос, сделать ли данный TB активным. Можно соглашаться. В итоге в Source проекта появился новый пустой файлсет для симуляции sim_imichnl_synthesizer

20160404 vivado revolution12.png

Добавляем файлы в набор для симуляции

В контекстном меню файлсета sim_imichnl_synthesizer, выпадающем при нажатии правой кнопкой мыши, выбираем добавление новых файлов Add Sources

20160404 vivado revolution13.png

Далее Add or create simulation sources

20160404 vivado revolution4.png

Добавляем новый файл TB'а, нажимая кнопку Create File в открывшемся окне. Даем файлу осмысленное имя с суффиксом _tb, например, imichnl_synthesizer_tb.v и обязательно указываем в качестве пути каталог tb дизайна imitator. Иначе он будет создан в дебрях песочницы (в prj_imitator) и не будет виден системе контроля версий.

20160404 vivado revolution8.png20160404 vivado revolution9.png

С помощью кнопки Add Files добавляем уже существующие файлы, которые потребуются для работы тестируемого модуля. В данном случае это сам модуль imichnl_synthesizer из каталога verilog

20160404 vivado revolution10.png

После добавления требуемых файлов нажимаем кнопку Finish. Открывается окно Define module для нашего TB'а imichnl_synthesizer_tb.v. Порты нам добавлять не нужно, просто нажимаем Ok. Теперь у нас в файлсете sim_imichnl_synthesizer два файла - код исследуемого модуля и код TB'а.

20160404 vivado revolution14.png

Возвращаемся в настройки симуляции (Flow Navigator -> Simulation -> Simulation Settings) и указываем в качестве топового модуль imichnl_synthesizer_tb

20160404 vivado revolution15.png

Код TB'а

Пришло время наполнить imichnl_synthesizer_tb смысловым содержанием. Общий сброс, после чего каждую эпоху PHASE_RATE увеличивается на 2000000:


Моделирование

После того как TB написан, запускаем симуляцию через контекстное меню файлсета:

20160404 vivado revolution16.png

Моделируем, настраиваем wave-форму

20160404 vivado revolution17.png

Cохраняем настройки wave-формы в каталог tb через меню File->Save Waveform Configuration, автоматом получая имя файла типа imichnl_synthesizer_tb_behav.wcfg


Добавление TB'а через скрипт регенерации проекта

Сейчас все настройки TB'а, т.е. файлсета sim_imichnl_synthesizer, хранятся в песочнице, которая у нас не находится под системой контроля версий. Нужно добавить соответствующий код в скрипт регенерации проекта (традиционно его место до объявления настроек синтеза synth_1)


Как я получил этот код? Я просто выгрузил через File -> Write Project Tcl новый скрипт регенерации проекта и вычленил из него блок, отвечающий за наш новый файлсет.

Ниже мы подробнее рассмотрим команды, используемые для регенерации TB'а.

Добавляем второй TB

Проделываем аналогичные действия для второго TB'а, получаем набор для моделирования sim_imitator_channel, включающий, помимо прочего, imitator_channel_tb.v.


А вот что мы добавляем в prj_imitator.tcl, чтобы этот набор для моделирования разворачивался вместе с проектом:


Обсудим команды, которые добавляются в скрипт. В первую очередь создается новый набор для симуляции, ему присваивается название sim_imitator_channel

if {[string equal [get_filesets -quiet sim_imitator_channel] ""]} {
  create_fileset -simset sim_imitator_channel
}


Далее в этот набор добавляются файлы:

set obj [get_filesets sim_imitator_channel]
set files [list \
 "[file normalize "$origin_dir/tb/imitator_channel_tb.v"]"\
 "[file normalize "$origin_dir/verilog/top/global_param.v"]"\
 "[file normalize "$origin_dir/verilog/imitator_channel.v"]"\
 "[file normalize "$origin_dir/verilog/imichnl_synthesizer.v"]"\
 "[file normalize "$origin_dir/verilog/imichnl_sin_table.v"]"\
 "[file normalize "$origin_dir/verilog/imichnl_param.v"]"\
 "[file normalize "$origin_dir/verilog/imichnl_regfile.v"]"\
 "[file normalize "$origin_dir/verilog/imichnl_cos_table.v"]"\
 "[file normalize "$origin_dir/verilog/imichnl_delay_reg.v"]"\
 "[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync.v"]"\
 "[file normalize "$origin_dir/$sub_dir/correlator/verilog/flag_sync_n.v"]"\
 "[file normalize "$origin_dir/$sub_dir/correlator/verilog/time_generator.v"]"\
 "[file normalize "$origin_dir/$sub_dir/correlator/verilog/channel_shift_reg.v"]"\
 "[file normalize "$origin_dir/$sub_dir/sync/verilog/level_sync.v"]"\
 "[file normalize "$origin_dir/$sub_dir/sync/verilog/signal_sync.v"]"\
 "[file normalize "$origin_dir/tb/imitator_channel_tb_behav.wcfg"]"\
]
add_files -norecurse -fileset $obj $files


Далее указываются директории, в которых будет производиться поиск файл, подключенных с помощью директивы `include:

set obj [get_filesets sim_imitator_channel]
set_property "include_dirs" "$origin_dir/verilog $origin_dir/verilog/top" $obj


Указывается топовый модуль для моделирования:

set_property "top" "imitator_channel_tb" $obj


Указывается топовый модуль для моделирования:

set_property "runtime" "3000000ns" $obj
set_property "xsim.simulate.runtime" "3000000ns" $obj


Указывается wave-форма:

set_property "xsim.view" "$origin_dir/tb/imitator_channel_tb_behav.wcfg" $obj


Также в скрипте регенерации мы можем указать, какой набор симуляции считать активным по-умолчанию:

current_fileset -simset [ get_filesets sim_imitator_channel ]


Итоговый скрипт регенерации проекта

Итоговый скрипт регенерации проекта imitator будет выглядеть так:


У другого пользователя

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

korogodin@Diod:~/Oryx/src/fpga/sub/imitator$ /opt/Xilinx/Vivado/2015.3/bin/vivado -source prj_imitator.tcl
20160404 vivado revolution18.png

Ссылки

Easyelectronics:TestBench на Verilog для новичков

Персональные инструменты
Пространства имён

Варианты
Действия
SRNS Wiki
Рабочие журналы
Приватный файлсервер
QNAP Сервер
Инструменты