Los participantes en proyectos de FPGA, ASIC o SoC pueden colaborar en la toma de decisiones iniciales clave con un alto nivel de abstracción, y luego generar código y modelos para iniciar la implementación.
Con MATLAB y Simulink, puede:
- Modelar y simular una variedad de opciones de arquitectura
- Perfeccionar algoritmos para la implementación con un enforque top-down
- Converger en la cuantificación en punto fijo
- Generar RTL y código C integrado con calidad de producción
- Generar modelos de verificación para uso en entornos de simulación digital o analógica
- Cumplir con los flujos de trabajo de certificación de seguridad funcional
“Simulink contribuye a la comunicación entre los arquitectos de sistemas y los diseñadores de hardware. Es un lenguaje compartido que nos permite intercambiar conocimientos, ideas y diseños. Con Simulink y HDL Coder, podemos centrarnos más en desarrollar algoritmos y perfeccionar el diseño a través de la simulación que en comprobar las reglas de codificación y la sintaxis VHDL.”
Uso de MATLAB para diseño y verificación de producción
Arquitectura de SoC y diseño top-down
Los desarrolladores de algoritmos pueden colaborar con ingenieros de verificacion, arquitectos de sistemas e ingenieros de señales mixtas/analógicas y digitales para explorar las opciones de arquitectura con un alto nivel de abstracción. De esta manera, el equipo de trabajo puede experimentar con estrategias de partición y luego perfeccionar gradualmente las particiones con detalles de implementación tales como la microarquitectura de hardware y la cuantificación en punto fijo. Existen más de 300 bloques que admiten la generación de SystemVerilog, Verilog y VHDL, y que abarcan operaciones matemáticas, subsistemas y bloques IP de hardware probados en producción.
Durante este proceso top-down, puede integrar continuamente más modelos detallados para simulación en el contexto del sistema y eliminar problemas operativos y de rendimiento en fases iniciales del proceso. Con este proceso, puede crear y gestionar conjuntos de casos de prueba en el nivel de sistema y medir la cobertura del modelo, de manera que pueda confiar en que su implementación será correcta.
Explore los tradeoffs de la implementación en alto nivel, verificando cada paso de ajuste respecto de la última versión correcta conocida.
Más información
- Mejora de la calidad de FPGA, ASIC y SoC con el modelado anticipado de arquitectura (24:24)
- Desarrollo de aplicaciones de radio para RFSoC con MATLAB y Simulink - parte 3: Partición de hardware/software (16:16)
- Renesas diseña e implementa un núcleo IP para el procesamiento de imágenes en ASIC con el diseño basado en modelos
- Implementación en hardware de algoritmos FFT de alto rendimiento en FPGA (3:02)
Explore productos
Genere componentes de DPI o UVM de SystemVerilog para acelerar la creación de entornos de verificación.
Generación de un modelo de verificación
También puede exportar componentes de verificación directamente desde MATLAB y Simulink, en lugar de escribir un banco de pruebas de Verilog o un banco de pruebas de VHDL mediante ASIC Testbench for HDL Verifier. De esta forma, se asegura de capturar con precisión el comportamiento de alto nivel de los estímulos y modelos de referencia para la simulación RTL. Si el diseño de alto nivel cambia, puede volver a generar los modelos.
Estos componentes de verificación utilizan la interfaz Direct Programming Interface (DPI) de SystemVerilog, de manera que puede utilizarlos en cualquier simulador compatible con SystemVerilog. También puede generar un componente de Universal Verification Methodology (UVM) de Simulink si su entorno de verificación RTL utiliza UVM.
Más información
- Generación de modelos de DPI-C desde MATLAB mediante HDL Verifier (5:19)
- Generación de DPI de SystemVerilog para verificar sistemas analógicos/de señales mixtas (3:50)
- Verificación de entorno-in-the-loop de diseños de circuitos integrados de radares para la industria de automoción
- STMicroelectronics: cómo ahorrar tiempo de diseño y verificación de RTL reutilizando modelos de Simulink
- Introducción a ASIC Testbench (1:55)
Explore productos
Generación de código de producción
Los procesos de diseño existentes suelen introducir errores en los procesos manuales de redacción de documentos de especificación y codificación basada en ese documento. Una vez que haya realizado la verificación en el nivel de sistema con MATLAB y Simulink, puede generar código HDL y C para diseños de ASIC y FPGA directamente a partir de los modelos de implementación verificados.
El código HDL generado es legible, independiente de la plataforma de destino y se puede trazar hasta su modelo fuente. Puede controlar diversos estilos de codificación y opciones de estructura, así como optimizaciones de velocidad, como la inserción de tareas en cadena, y optimizaciones de área, como el intercambio de recursos. También puede crear núcleos PI reorientables para acelerar tareas de procesador en diseños de SoC. Si bien las herramientas de síntesis de AMD® e Intel® pueden ejecutarse automáticamente desde el menú de generación de código, también puede generar scripts para que ejecuten cualquier herramienta de síntesis FPGA o ASIC.
Código HDL legible, incluidos los comentarios del modelo, con trazabilidad en el nivel de línea entre el código y el modelo.
Más información
- Adopción del diseño basado en modelos para desarrollar sistemas de comunicaciones en Hitachi
- Philips Healthcare desarrolla un subsistema de potencia de RF digital inteligente para sistemas de imágenes por resonancia magnética
- Diseño de ASIC basado en modelos de ultra baja potencia para implantes médicos con HDL Coder (27:16)
- Flujo de trabajo de MATLAB a SystemC para Cadence Stratus HLS (5:02)
Explore productos
Comprobación de conformidad con los estándares de modelado DO-254 de un subsistema de hardware.
Seguridad funcional
Si su proyecto debe cumplir con un estándar de seguridad funcional, puede utilizar los flujos de trabajo para el desarrollo de FPGA, ASIC y SoC que se incluyen en los kits de DO-254, ISO 26262 y IEC 61508. Estos flujos de trabajo incluyen la ejecución de Model Advisor con comprobaciones integradas para garantizar que su modelo cumpla con los requisitos del estándar correspondiente.
Los códigos C y HDL generados son legibles y se pueden trazar hasta el modelo y los requisitos para facilitar la revisión del código. Puede utilizar diversas técnicas, como las pruebas consecutivas con cosimulación o FPGA-in-the-loop para lograr el cumplimiento de los requisitos de verificación.
Más información
- Cómo utilizar el diseño basado en modelos para demostrar la conformidad con DO-254 (8:25)
- Flujo de trabajo de ASIC y FPGA para ISO 26262 e IEC 61508 (3:06)
- Diseño basado en modelos para la conformidad con la certificación DO-254
- Enfoque de diseño basado en modelos para FPGA esenciales para la seguridad de Ultra Electronics (23:12)
Comuníquese con ventas
Más información
Verificación de algoritmos en FPGA y ASIC
Más información
