Поддерживаемые инструменты EDA и оборудование

Требования Cosimulation

Чтобы начать, смотрите Настроенную Связь симулятора HDL MATLAB или Запустите симулятор HDL для Cosimulation в Simulink.

Тактовый сигнал острые и требования Xcelium

MATLAB® и Simulink® поддерживают инструменты верификации Cadence® с помощью HDL Verifier™. Только 64-битная версия Incisive® поддерживается для cosimulation. Используйте одну из этих рекомендуемых версий, которые были полностью протестированы против текущего релиза:

  • Xcelium™ 19.03

  • Xcelium 18.03

  • Xcelium 17.0

  • Острые 15.2

    Примечание

    Не поддерживаемый для nclaunch с runmode установите на Batch. Установите runmode к CLI вместо этого.

HDL Verifier совместно использовал библиотеки (liblfihdls*.so, liblfihdlc*.so) создаются с помощью gcc включенный в распределение платформы средства моделирования Cadence Incisive®. Прежде чем вы соедините свои собственные приложения в симулятор HDL, сначала попытайтесь создать против этого gcc. Дополнительную информацию см. в документации симулятора HDL о том, как создать и соединить ваши собственные приложения.

Mentor Graphics Questa и требования использования ModelSim

MATLAB и Simulink поддерживают инструменты верификации Mentor Graphics® с помощью HDL Verifier. Используйте одну из следующих рекомендуемых версий. Каждая версия была полностью протестирована против текущего релиза:

  • Questa® Core/Prime 10.5b, 10.6b, 2019.1

  • ModelSim® PE 10.6b, 2019.1

Требования верификации FPGA

Требования использования Xilinx

MATLAB и Simulink поддерживают Design Tool Xilinx® с помощью HDL Verifier. Используйте FPGA в инструментах цикла с этими рекомендуемыми версиями:

  • Xilinx Vivado® 2018.3

  • Xilinx ISE 14.7

    Примечание

    Xilinx ISE требуется для плат FPGA в Spartan®-6, Virtex®-4, Virtex-5 и семействах Virtex-6.

Для инструкций по настройке инструмента смотрите Настроенные Программные инструменты Проекта FPGA.

Intel требования использования Куарта

MATLAB и Simulink поддерживают Design Tool Intel® с помощью HDL Verifier. Используйте FPGA в инструментах цикла с этими рекомендуемыми версиями:

  • Intel Quartus® Prime 18.1

  • Intel Куарт Прайм Про 18.1 (поддерживаемый для Intel только Cyclone® 10 GX)

  • Intel Куарт II 13.1 (поддерживаемый для Циклона Intel только III плат)

Для инструкций по настройке инструмента смотрите Настроенные Программные инструменты Проекта FPGA.

Микрополу требования использования

MATLAB и Simulink поддерживают Design Tool Microsemi® с помощью HDL Verifier. Используйте FPGA в инструментах цикла с этими рекомендуемыми версиями:

  • Микрополу Libero® SoC 11.8 SP3

  • Микрополу Libero SoC Polarfire® 2.0

Для инструкций по настройке инструмента смотрите Настроенные Программные инструменты Проекта FPGA.

Поддерживаемые подключения платы FPGA для симуляции FIL

Для поддержки платы смотрите Поддерживаемые Устройства FPGA для Верификации FPGA.

Дополнительные платы могут быть пользовательские добавленный с менеджером Совета FPGA. Смотрите Поддерживаемые Семейства Устройств FPGA для Индивидуальной настройки Совета.

Связь JTAG

ПоставщикНеобходимое оборудованиеНеобходимое программное обеспечение
Intel

Бластер USB I или Бластер USB II кабелей загрузки

  • Бластер USB I или II драйверов

  • Для операционных систем Windows®: исполнимая директория Куарта Прайма должна быть на системном пути.

  • Для операционных систем Linux®: версии ниже Куарта II 13.1 не поддержаны. Куарт II 14.1 не поддержан. Только 64-битный Куарт поддерживается. Директория библиотеки Куарта должна быть на LD_LIBRARY_PATH перед стартовым MATLAB. Предварительно ожидайте путь к библиотеке дистрибутива Linux перед библиотекой Куарта по LD_LIBRARY_PATH. Например, /lib/x86_64-linux-gnu:$QUARTUS_PATH.

Xilinx

Кабель загрузки Digilent®.

  • Если ваша плата имеет встроенный модуль USB-JTAG Digilent, используйте USB-кабель.

  • Если ваша плата имеет стандартный контакт Xilinx 14 коннектор JTAG, используйте с HS2 или кабелем HS3 от Digilent.

  • Для операционных систем Windows: исполнимая директория Xilinx Vivado должна быть на системном пути.

  • Для операционных систем Linux: Digilent Adept2

Кабель USB-JTAG FTDI

  • Поддерживаемый для плат со встроенным FT4232H, FT232H или устройствами FT2232H, реализующими USB - к JTAG

Поддерживаемый для операционных систем Windows.

Примечание

USB FTDI поддержка JTAG только доступен для MATLAB как Ведущее устройство AXI и для Сбора данных FPGA.

Примечание

Когда симуляция вашего FPGA проектирует через кабель Digilent JTAG с Simulink или MATLAB, вы не можете использовать программное обеспечение отладки, которое требует доступа к JTAG; например, Logic Analyzer Vivado.

Соединение Ethernet

Необходимое оборудованиеПоддерживаемые интерфейсыНеобходимое программное обеспечение

  • Гигабитная карта Ethernet

  • Перекрестный кабель Ethernet

  • Плата FPGA с поддерживаемым соединением Ethernet

  • Гигабитный Ethernet — GMII

  • Гигабитный Ethernet — RGMII

  • Гигабитный Ethernet — SGMII

  • Ethernet — MII

Нет никаких требований к программному обеспечению для соединения Ethernet, но не гарантируют, что брандмауэр на хосте - компьютере не предотвращает коммуникацию UDP.

Примечание

Соединение Ethernet с Virtex-7 VC707, не поддержанным для версий Vivado, более старых, чем 2 013,4.

[a]  Пакет Поддержки HDL Verifier для Микрополу Советов FPGA поддерживает только интерфейсы SGMII.

Поддерживаемые устройства FPGA для верификации FPGA

HDL Verifier поддерживает симуляцию FIL на устройствах, показанных в следующей таблице. Файлы определения платы для этих плат находятся в Пакете поддержки плат FPGA Загрузки. Можно добавить другие платы FPGA для использования с FIL с индивидуальной настройкой платы FPGA (Индивидуальная настройка Совета FPGA).

Примечание

Ведущее устройство AXI поддерживается, поддерживается по Ethernet для Xilinx Kintex®-7 KC705 и Intel платы Arrow® MAX® 10 DECA.

Ведущее устройство AXI поддерживается по PCI Express для Intel платы Xilinx Kintex UltraScale +™ FPGA KCU116 Оценочного комплекта и Arria® 10 GX.

Семейство устройствСоветEthernet (FIL)JTAG (FIL, ведущее устройство AXI, сбор данных)PCI Express (FIL)Комментарии

Xilinx Artix®-7

Digilent Nexys™4 Artix-7

xx  
Совет Диджилента Арти x  

Xilinx Kintex-7

Kintex-7 KC705xxx 

Xilinx Kintex UltraScale™

Оценочный комплект Kintex UltraScale FPGA KCU105

xx  

Xilinx Kintex UltraScale +

Kintex UltraScale + оценочный комплект FPGA KCU116

 x Для получения дополнительной информации смотрите PCI Express MATLAB как Ведущее устройство AXI (Пакет Поддержки HDL Verifier для Советов FPGA Xilinx).

Спартанец Xilinx 6

Спартанские 6 SP605x   
Спартанские 6 SP601x   
Спартанец XUP Atlys 6x   

Спартанец Xilinx 7

Диджилент Арти S7-25xx  

Xilinx Virtex UltraScale

Оценочный комплект Virtex UltraScale FPGA VCU108

xx  

Xilinx Virtex UltraScale +

Virtex UltraScale + оценочный комплект FPGA VCU118

 xx 

Xilinx Virtex-7

Virtex-7 VC707xxx 
Virtex-7 VC709 xx 

Xilinx Virtex-6

Virtex-6 ML605x   

Xilinx Virtex-5

Virtex ML505x   
Virtex ML506x   
Virtex ML507x   
Virtex XUPV5–LX110Tx   

XilinxVirtex-4

Virtex ML401x  

Примечание

Поддержка семейства устройств Virtex-4 будет удалена в будущем релизе.

Virtex ML402x  
Virtex ML403x  

Xilinx Zynq®

Zynq-7000 ZC702

 x  
Zynq-7000 ZC706  x  
ZedBoard™  x Используйте USB-порт, отмеченный "PROG" для программирования.

Макетная плата ZYBO™ Zynq-7000

 x  
Комплект разработчика PicoZed™ SDR x  
MiniZed™  x Поддерживаемый только для Сбора данных и AXI-ведущего-устройства через FTDI JTAG.

Xilinx Zynq UltraScale +

Zynq UltraScale + оценочный комплект MPSoC ZCU102

 x  

Zynq UltraScale + оценочный комплект MPSoC ZCU104

 x FIL, поддержанный через кабель Digilent HS3 только. AXI-ведущее-устройство и Сбор данных поддерживаются через FTDI или HS3 JTAG.

Zynq UltraScale + оценочный комплект MPSoC ZCU106

 x FIL, поддержанный через кабель Digilent HS3 только. AXI-ведущее-устройство и Сбор данных поддерживаются через FTDI или HS3 JTAG.

Zynq UltraScale + оценочный комплект RFSoC ZCU111

 x FIL, поддержанный через кабель Digilent HS3 только. AXI-ведущее-устройство и Сбор данных поддерживаются через FTDI или HS3 JTAG.

Intel Arria II

Комплект разработчика FPGA Аррии II ГКСxx  

Intel Arria V

Arria V комплектов разработчика SoC x  
Arria V стартовых наборовxx  

Intel Arria 10

Комплект разработчика Arria 10 SoCxx  
Arria 10 GXxxx

Используйте Куарта Прайма 17.1 в Arria 10 GX по PCI Express®. Куарту Прайму 18.0 не рекомендуют.

IV циклона Intel

IV циклона комплект разработчика FPGA GXxx 
Разработка DE2-115 и образовательный Советxx Макетная плата Altera® DE2-115 FPGA имеет два порта Ethernet. FPGA в цикле использует только порт Ethernet 0. Убедитесь, что вы соединяете свой хост - компьютер с портом Ethernet 0 на плате через кабель Ethernet.
BeMicro SDKxx  

Циклон Intel III

Циклон III стартовых наборов FPGA x 

Циклон Altera III плат поддерживается с Куартом II 13.1

Примечание

Поддержка Циклона III семейств устройств будет удалена в будущем релизе.

Циклон III комплектов разработчика FPGAxx 
Altera Nios II встроенных оценочных комплектов, циклон III выпусковxx 

Циклон Intel V

Циклон V комплектов разработчика FPGA GXxx  
Циклон V комплектов разработчика SoC  x  
Циклон V комплектов разработчика GTxxx 
Набор Terasic атласа-SoC / Набор DE0-нано SoC x  
Стрела комплект разработчика SoCKit x  

Циклон Intel 10 LP

Циклон Altera 10 оценочных комплектов LP

 x  

Циклон Intel 10 GX

Циклон Altera 10 оценочных комплектов FPGA GX

 x 

Должен использоваться с Куартом Праймом Про

Intel MAX 10

Стрела MAX 10 DECA

xx  

Intel Stratix® IV

Комплект разработчика FPGA Стрэтикса IV ГКСxx  

Intel Stratix V

Комплект разработчика DSP, Stratix V выпусков
xxx 

Микрополу SmartFusion®2

Микрополу набор перспективной разработки FPGA SmartFusion2 SoC

x  Смотрите устанавливающий микрополу набор перспективной разработки FPGA SmartFusion2 SoC (пакет поддержки HDL Verifier для микрополу Советов FPGA)

Микрополу Polarfire

Микрополу оценочный комплект Polarfire

x  Смотрите устанавливающий микрополу оценочный комплект Polarfire (пакет поддержки HDL Verifier для микрополу Советов FPGA)

Микрополу RTG4®

RTG4-DEV-KIT

x   

[a]  FIL по связи PCI Express поддерживается только для 64-битных операционных систем Windows.

Ограничения

  • Для макетных плат FPGA, которые имеют больше чем одно устройство FPGA, только одно такое устройство может использоваться с FIL.

Пакеты поддержки плат FPGA.  Пакеты поддержки плат FPGA содержат файлы определения для всех поддерживаемых плат. Можно загрузить один или несколько специфичных для поставщика пакетов. Чтобы использовать FIL, загрузите по крайней мере один из этих пакетов или настройте ваш собственный файл определения платы. Смотрите Создают Пользовательское Определение Совета FPGA.

Видеть, что список HDL Verifier поддерживает пакеты, HDL Verifier посещения Поддерживаемые аппаратные средства. Загружать пакет поддержки плат FPGA:

  • На вкладке MATLAB Home, в разделе Environment, нажимают Add-Ons> Get Hardware Support Packages.

Поддерживаемые семейства устройств FPGA для индивидуальной настройки Совета

HDL Verifier поддерживает следующие семейства устройств FPGA для индивидуальной настройки платы; то есть, когда вы создаете свой собственный файл определения платы. Смотрите Индивидуальную настройку Совета FPGA. PCI Express не является поддерживаемой связью для индивидуальной настройки платы.

Примечание

Пакет Поддержки HDL Verifier для Микрополу Советов FPGA не поддерживает индивидуальную настройку платы.

Семейство устройствОграничения
Xilinx Artix 7 
Kintex 7 

Kintex UltraScale

 

Kintex UltraScale +

 
Спартанские 6

Ethernet PHY RGMII не поддержан.

Спартанские 7 
Virtex 4

Примечание

Поддержка семейства устройств Virtex-4 будет удалена в будущем релизе.

Virtex 5 
Virtex 6 
Virtex 7

Ethernet поддержек PHY SGMII только.

Virtex UltraScale

 

Virtex UltraScale +

 
Zynq 7000 

Zynq UltraScale +

 
Intel Arria II 
Аррия V 
Arria 10  
Циклон III

Примечание

Поддержка Циклона III семейств устройств будет удалена в будущем релизе.

IV циклона 
Циклон V 
Циклон 10 LP 
Циклон 10 GX 
MAX 10  
IV Stratix 
Стрэтикс V 

UVM и требования генерации компонента DPI

Генерация компонента UVM и DPI поддерживает те же версии Острого Тактового сигнала и Mentor Graphics Questa и ModelSim что касается cosimulation. Можно сгенерировать компонент DPI для использования или с 64-битным или с 32-битным Острый.

Кроме того, генерация Компонента UVM и DPI также поддерживает:

  • Synopsys® VCS® MX O-2018.09 SP2

Примечание

Когда вы запускаете компонент DPI в ModelSim 10.5b на Debian® 8.3, можно столкнуться с ошибкой несовместимости библиотеки:

** Warning: ** Warning: (vsim-7032) The 64-bit glibc RPM 
does not appear to be installed on this machine.  Calls to gcc may fail.
** Fatal: ** Error: (vsim-3827) Could not compile 'STUB_SYMS_OF_fooour.so':
Чтобы избежать этой проблемы, на панели Code Generation в Параметрах конфигурации, пробуют эти опции:

  • Установите Build configuration на Faster Runs.

  • Или, установите Build configuration на Specify и задайте флаг -O3 компилятора.

Генерация UVM также требует Ссылочной Реализации UVM, доступной для скачивания от стандартного веб-сайта UVM. Эта функция тестируется с поставленной версией значения по умолчанию на каждое поддерживаемое средство моделирования.

Требования генерации TLM

С текущим релизом TLMG включает поддержку:

  • Компиляторы:

    • Визуальный Studio®: VS2008, VS2010, VS2012, VS2013, VS2015 и VS2017

    • Windows 7.1 SDK

    • gcc 6.3

  • SystemC:

    • SystemC 2.3.1 (включенный TLM)

      Можно загрузить библиотеки SystemC и TLM по https://accellera.org. Консультируйтесь с Системным веб-сайтом Инициативы Accellera для получения информации о том, как создать эти библиотеки после загрузки.

  • Система C моделирование библиотеки (SCML):

Документация HDL Verifier
Поддержка
Для просмотра документации необходимо авторизоваться на сайте