MathWorks - Mobile View
  • Inicie sesión con su cuenta de MathWorksInicie sesión con su cuenta de MathWorks
  • Access your MathWorks Account
    • Mi Cuenta
    • Mi perfil de la comunidad
    • Asociar Licencia
    • Cerrar sesión
  • Productos
  • Soluciones
  • Educación
  • Soporte
  • Comunidad
  • Eventos
  • Obtenga MATLAB
MathWorks
  • Productos
  • Soluciones
  • Educación
  • Soporte
  • Comunidad
  • Eventos
  • Obtenga MATLAB
  • Inicie sesión con su cuenta de MathWorksInicie sesión con su cuenta de MathWorks
  • Access your MathWorks Account
    • Mi Cuenta
    • Mi perfil de la comunidad
    • Asociar Licencia
    • Cerrar sesión

Vídeos y webinars

  • MathWorks
  • Vídeos
  • Videos Home
  • Buscar
  • Videos Home
  • Buscar
  • Contáctese con ventas
  • Software de prueba
  Register to watch video
  • Description
  • Full Transcript
  • Related Resources

ASIC and FPGA Workflow for ISO 26262 and IEC 61508

Jack Erickson, Mathworks

Get an overview of HDL code generation and verification support in IEC Certification Kit for ISO 26262 and IEC 61508.

IEC Certification Kit for ISO 26262 and IEC 61508 has added workflow and artifact documentation for connecting Model-Based Design for functional safety to ASIC and FPGA implementation. This includes the certificate from TÜV SÜD showing that HDL Coder is qualified according to ISO 26262 for any ASIL, and has also been tested for suitability according to IEC 61508, IEC 62304, EN 50128, and ISO 25119.

This workflow includes:

  • Requirements authoring
  • Architectural modeling
  • Implementation modeling
  • Static model analysis in Model Advisor
  • HDL code generation
  • Validation and verification at every step, including generation of models for downstream RTL verification

The kit also provides templates for managing and documenting your workflow steps and artifacts. And if you require more extensive support in deploying this process, MathWorks offers an ISO 26262 Process Deployment Advisory Service.

To learn more about the MathWorks ISO 26262 workflow, visit ISO 26262 support in MATLAB and Simulink.

Beginning with Release 2020a, HDL Coder has been qualified for ISO 26262, including ASIL D. IEC Certification Kit for ISO 26262 and IEC 61508 from MathWorks has been updated with a full workflow for connecting Model-Based Design to FPGA and ASIC implementation.

The kit provides workflows and artifacts to help you comply with – and prove that you comply with – these functional safety standards. Under the HDL section, there’s a certificate from TÜV SÜD for HDL Coder, along with their report explaining the process used to qualify it.

And this is more than just HDL Coder. The workflow document in the kit covers the process from requirements authoring, to architectural modeling, to modeling for implementation, then to HDL code generation, with verification and validation at each step.

As you can see, a big part of this workflow is first verifying that the model behaves according to requirements, which includes linking requirements to the models and tests, and making sure those requirements are fully covered in testing. Then as you get into implementation, verifying that each implementation stage produces a design whose functionality matches that of the previous stage.

This workflow also provides techniques to help ensure integrity through downstream FPGA or ASIC implementation. Before HDL code generation, use the Model Advisor to run task-specific checks. Here I will just run the ISO checks on our HDL tutorial design, which is a signal processing design that was not created with certification in mind, so it should identify plenty of issues.

There are no errors, which is good, and the warnings can give you an idea of good practices to prevent assumptions at this level, causing issues downstream. Some of these should be addressed in the design, and some involve tool settings such as increasing the severity of checks for issues such as overflow.

And in terms of verifying the downstream implementation, HDL Verifier offers a number of ways to re-use your Model-Based Design work. What’s shown in this flow diagram is running your design on an FPGA running in-the-loop with your Simulink tests, and checking the results back-to-back against your model. You can also use HDL Verifier to generate SystemVerilog verification components for downstream simulation, including UVM. See the HDL Verifier product page to learn more.

This kit also shows how to integrate handwritten code into the process, and how to verify it together with your model using HDL Verifier.

Finally, the kit provides a template you can use for your project to demonstrate conformance. It lists the criteria used and prompts you for the relevant information used in your process.

MathWorks offers assistance and consulting to build your organizational proficiency with these functional safety workflows. And the kit itself provides some great resources to get you started.

Related Products

  • IEC Certification Kit
  • HDL Coder
  • HDL Verifier

Feedback

Featured Product

IEC Certification Kit

  • Request Trial
  • Get Pricing

Up Next:

1:54
What Is IEC Certification Kit?

Related Videos:

3:50
Generate SystemVerilog DPI for Analog Mixed-Signal...
2:16
Using Custom Boards for FPGA-in-the-Loop Verification
20:02
A Guided Workflow for Zynq Using MATLAB and Simulink
2:19
Indian Space Research Organization Simulates Hybrid...

View more related videos

MathWorks - Domain Selector

Select a Web Site

Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .

Select web site

You can also select a web site from the following list:

How to Get Best Site Performance

Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.

Americas

  • América Latina (Español)
  • Canada (English)
  • United States (English)

Europe

  • Belgium (English)
  • Denmark (English)
  • Deutschland (Deutsch)
  • España (Español)
  • Finland (English)
  • France (Français)
  • Ireland (English)
  • Italia (Italiano)
  • Luxembourg (English)
  • Netherlands (English)
  • Norway (English)
  • Österreich (Deutsch)
  • Portugal (English)
  • Sweden (English)
  • Switzerland
    • Deutsch
    • English
    • Français
  • United Kingdom (English)

Asia Pacific

  • Australia (English)
  • India (English)
  • New Zealand (English)
  • 中国
    • 简体中文Chinese
    • English
  • 日本Japanese (日本語)
  • 한국Korean (한국어)

Contact your local office

  • Contáctese con ventas
  • Software de prueba

Explorar productos

  • MATLAB
  • Simulink
  • Software para estudiantes
  • Soporte para hardware
  • File Exchange

Probar o comprar

  • Descargas
  • Software de prueba
  • Contáctese con ventas
  • Precios y licencias
  • Cómo comprar

Aprender a utilizar

  • Documentación
  • Tutoriales
  • Ejemplos
  • Vídeos y webinars
  • Formación

Obtener soporte

  • Ayuda para la instalación
  • Respuestas
  • Consultoría
  • Centro de licencias
  • Contactar con soporte

Acerca de MathWorks

  • Ofertas de empleo
  • Sala de prensa
  • Misión social
  • Contáctese con ventas
  • Acerca de MathWorks

MathWorks

Accelerating the pace of engineering and science

MathWorks es el líder en el desarrollo de software de cálculo matemático para ingenieros

Descubra…

  • Select a Web Site United States
  • Patentes
  • Marcas comerciales
  • Política de privacidad
  • Antipiratería
  • Estado

© 1994-2021 The MathWorks, Inc.

  • Facebook
  • Twitter
  • Instagram
  • YouTube
  • LinkedIn
  • RSS

Únase a la conversación

This website uses cookies to improve your user experience, personalize content and ads, and analyze website traffic.  By continuing to use this website, you consent to our use of cookies.  Please see our Privacy Policy to learn more about cookies and how to change your settings.