HDL Verifier

Prueba y verificación de Verilog y VHDL con simuladores HDL y placas de FPGA

 

HDL Verifier™ permite probar y verificar diseños Verilog® y VHDL® para FPGA, ASIC y SoC. Puede verificar RTL con respecto a bancos de pruebas que se ejecutan en MATLAB® o Simulink® mediante la cosimulación con un simulador HDL. Estos mismos bancos de pruebas se pueden utilizar con placas de desarrollo de FPGA y SoC para verificar las implementaciones de HDL en el hardware.

HDL Verifier proporciona herramientas para depurar y probar implementaciones de FPGA en placas Xilinx® e Intel®. Puede utilizar MATLAB para escribir y leer registros asignados en memoria a fin de probar los diseños en hardware. Es posible insertar sondas en los diseños y establecer condiciones de activación para cargar señales internas en MATLAB para su visualización y análisis.

HDL Verifier genera modelos de verificación para su uso en bancos de pruebas de RTL, incluidos los bancos de pruebas de la metodología de verificación universal (UVM). Estos modelos se ejecutan de forma nativa en simuladores que soportan la interfaz de programación directa de SystemVerilog (DPI).

Comience:

Cosimulación de HDL

Verifique que las implementaciones de código HDL coincidan con los algoritmos de MATLAB y los modelos de Simulink.

Depuración y verificación de diseños de sistemas

Utilice bancos de pruebas de sistemas y modelos de referencia en MATLAB y Simulink para verificar que el código Verilog o VHDL cumpla las especificaciones funcionales. Verifique diseños mediante MATLAB o Simulink con los simuladores Cadence® Incisive® y Xcelium™ o los simuladores Mentor Graphics® ModelSim® y Questa®.

Verificación de modelos de Simulink con cosimulación de HDL.

Integración de código HDL existente

Incorpore código HDL heredado o de terceros en algoritmos de MATLAB o modelos de Simulink para realizar una simulación a nivel de sistema. Use el asistente de cosimulación para importar automáticamente código Verilog o VHDL y conectar con simuladores HDL de Mentor Graphics o Cadence.

Importación de VHDL o Verilog con el asistente de cosimulación.

Medición de la cobertura del código HDL

Evalúe y perfeccione los bancos de pruebas en Simulink mediante los resultados de las herramientas de análisis de cobertura de código y los depuradores de código fuente interactivos de los simuladores Mentor Graphics y Cadence HDL. Lleve a cabo pruebas interactivas o cree scripts para efectuar simulaciones en lote.

Obtención de estadísticas de cobertura de código con cosimulación.

Generación de componentes UVM y SystemVerilog

Exporte algoritmos de MATLAB o modelos de Simulink a entornos de verificación de HDL, incluidos los de Synopsys®, Cadence y Mentor Graphics.

Generación de componentes UVM

Genere bancos de pruebas completos de la metodología de verificación universal (UVM) a partir de modelos de Simulink. Genere componentes de verificación como secuencias UVM, paneles de resultados y diseños sometidos a pruebas (DUT) e incorpórelos en bancos de pruebas de producción.

Entorno UVM para la verificación funcional.

Generación de componentes SystemVerilog DPI

Genere componentes SystemVerilog DPI a partir de funciones de MATLAB o subsistemas de Simulink a modo de modelos de comportamiento para su uso en entornos de verificación funcional, como Synopsys VCS®, Cadence Incisive o Xcelium y Mentor Graphics ModelSim o Questa. 

Generación de componentes SystemVerilog.

Aserciones SystemVerilog

Genere aserciones SystemVerilog nativas a partir de aserciones de su modelo de Simulink. Use las aserciones generadas para garantizar una validación sistemática del comportamiento del diseño en Simulink y su entorno de verificación de producción.

Generación de código a partir de un bloque de aserción.

Verificación basada en hardware

Depure y verifique algoritmos en placas de FPGA conectadas a entornos de pruebas de MATLAB o Simulink.

Pruebas FPGA-in-the-loop

Utilice bancos de pruebas de sistema ejecutados en MATLAB o Simulink para probar implementaciones de HDL que se ejecutan en placas de FPGA. Conecte su ordenador host automáticamente a placas de FPGA Xilinx, Intel® y Microsemi® a través de Ethernet, JTAG o PCI Express®.

Verificación FPGA-in-the-loop con placas de FPGA. 

Captura de datos de FPGA

Capture señales de alta velocidad a partir de diseños que se ejecutan en una FPGA y cárguelas automáticamente en MATLAB para su visualización y análisis. Analice las señales en todo su diseño para verificar el comportamiento esperado o investigar anomalías.

Captura de señales y carga en MATLAB para su análisis.

Acceso a memoria de lectura/escritura

Acceda a ubicaciones de la memoria interna desde MATLAB a través de JTAG, Ethernet o PCI Express mediante la inserción de un core IP de MathWorks en los diseños de FPGA. Pruebe algoritmos de FPGA mediante el acceso de lectura o escritura a registros AXI y transfiera archivos voluminosos de señales o imágenes entre MATLAB y las ubicaciones de memoria interna.

Acceso a ubicaciones de memoria interna desde MATLAB.

Integración con HDL Coder

Automatice las tareas de verificación de HDL usando HDL Verifier con HDL Coder™.

Automatización de la cosimulación de HDL

Realice una verificación automatizada del código Verilog o VHDL generado por HDL Coder directamente desde la herramienta HDL Workflow Advisor.

Generación de un modelo de cosimulación de HDL mediante HDL Workflow Advisor.

Automatización de las pruebas de FPGA

Lleve a cabo la verificación de hardware a partir de bancos de pruebas de MATLAB o Simulink mediante la generación de flujos de bits de FPGA a través de la integración con herramientas de desarrollo de Xilinx, Intel y Microsemi. Añada puntos de prueba a los modelos de Simulink para capturar señales y cárguelos en MATLAB para su visualización y análisis.

Generación de un modelo de FPGA-in-the-loop mediante HDL Workflow Advisor.

Banco de pruebas de SystemVerilog DPI

Genere un banco de pruebas de SystemVerilog a partir de un modelo de Simulink durante la generación de código HDL. Verifique el código Verilog o VHDL generado mediante el banco de pruebas con simuladores de HDL tales como Synopsys VCS, Cadence Incisive o Xcelium, Mentor Graphics ModelSim o Questa y Xilinx Vivado.

Generación de componentes DPI con HDL Coder.

Generación de TLM 2.0

Genere modelos de nivel de transacción compatibles con IEEE® 1666 SystemC™ TLM 2.0 desde Simulink.

Prototipos virtuales

Genere modelos de prototipos virtuales SystemC con interfaces TLM 2.0 para su uso en simulaciones de plataformas virtuales.

Creación de ejecutables de plataforma virtual a partir de modelos de Simulink.

Compatibilidad con IP-XACT

Personalice las interfaces TLM de los componentes que genere mediante la importación de archivos XML IP-XACT™. Use un generador de TLM para generar archivos IP-XACT con información de asignación entre Simulink y los componentes TLM generados.

Generación de archivos IP-XACT a partir de modelos de Simulink.

Funcionalidades más recientes

Compatibilidad con la metodología de verificación universal

Genere automáticamente componentes UVM a partir de modelos de Simulink para su uso en entornos de verificación.

Captura de datos de FPGA

Capture señales con más flexibilidad mediante operadores de comparación en la definición de activadores.

Consulte las notas de la versión para obtener detalles sobre estas funcionalidades y las funciones correspondientes.

Consiga una prueba gratuita

30 días de exploración a su alcance.

Descargar ahora

¿Listo para comprar?

Solicitar precio y explore los productos relacionados.

¿Es estudiante?

Obtenga el software para estudiantes de MATLAB y Simulink.

Más información