IEC Certification Kit

HDL Coder™
Conformance Demonstration Template

R2020b

July 22, 2020 certkitiec_hdlcoder_cdt

How to Contact MathWorks
Latest news: www.mathworks.com
Sales and services: www.mathworks.com/sales_and_services
User community: www.mathworks.com/matlabcentral
Technical support: www.mathworks.com/support/contact_us
Phone: 508-647-7000

The MathWorks, Inc.

1 Apple Hill Drive
Natick, MA 01760-2098
IEC Certification Kit HDL Coder™ Conformance Demonstration Template
© COPYRIGHT 2020 by The MathWorks, Inc.
The software described in this document is furnished under a license agreement. The software may be used or
copied only under the terms of the license agreement. No part of this manual may be photocopied or reproduced
in any form without prior written consent from The MathWorks, Inc.
FEDERAL ACQUISITION: This provision applies to all acquisitions of the Program and Documentation by, for, or
through the federal government of the United States. By accepting delivery of the Program or Documentation, the
government hereby agrees that this software or documentation qualifies as commercial computer software or
commercial computer software documentation as such terms are used or defined in FAR 12.212, DFARS Part
227.72, and DFARS 252.227-7014. Accordingly, the terms and conditions of this Agreement and only those rights
specified in this Agreement, shall pertain to and govern the use, modification, reproduction, release, performance,
display, and disclosure of the Program and Documentation by the federal government (or other entity acquiring for
or through the federal government) and shall supersede any conflicting contractual terms or conditions. If this
License fails to meet the government’s needs or is inconsistent in any respect with federal procurement law, the
government agrees to return the Program and Documentation, unused, to The MathWorks, Inc.
Trademarks
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See
www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be
trademarks or registered trademarks of their respective holders.
Patents
MathWorks products are protected by one or more U.S. patents. Please see www.mathworks.com/patents
for more information.

July 22, 2020 certkitiec_hdlcoder_cdt

Revision History
March 2020 New for IEC Certification Kit Version 3.15 (Applies to Release 2020a)
September 2020 Revised for IEC Certification Kit Version 3.16 (Applies to Release 2020b)

July 22, 2020 certkitiec_hdlcoder_cdt

Contents
1 Introduction ................................................................................................................................................ 1-1
1.1 Conformance Demonstration Template Overview............................................................................. 1-1
1.2 Application Identification ................................................................................................................... 1-2
2 Design Verification HDL Code Generation .................................................................................................. 2-1
3 Design Verification ...................................................................................................................................... 3-1
4 HDL Code Verification ................................................................................................................................. 4-1
5 Additional Considerations .......................................................................................................................... 5-1

July 22, 2020 certkitiec_hdlcoder_cdt i

1 Introduction

1.1 Conformance Demonstration Template Overview

This Conformance Demonstration Template can be used to demonstrate conformance with the parts ISO
26262-6/8, IEC 61508-3, IEC 62304, ISO 25119, or EN 50128, EN 50657 covered in the HDL Coder™
Reference Workflow.

You find the reference workflow document in the IEC Certification Kit Artifacts Explorer, the HDL Coder
folder.

For each technique or measure:

• In the third column, state to what degree you applied the technique or measure for the application
under consideration by using one of the phrases: Used, Used to a limited degree, or Not used.
• In the fourth column, state how you used the technique or measure in the application under
consideration. If the reference workflow includes alternative means for compliance, indicate what
variant you used. In addition, enter a reference to the document (for example, test report or review
documentation).

Note This document provides checklist only for the tool under consideration (HDL Coder) and
verification and validation activities for its outputs. Use corresponding conformance
demonstration templates for the other tools leveraged in the workflow.

July 22, 2020 certkitiec_hdlcoder_cdt 1-1

1.2 Application Identification
Applicant: <Insert Information>
Application <Insert Information>

July 22, 2020 certkitiec_hdlcoder_cdt 1-2

2 Design Verification HDL Code
Generation

Table 1 HDL Code Generation

Technique / Measure Associated Requirements Used / Used to a Interpretation in
Limited Degree / this Application,
Not used Evidence
1 HDL Code Generation • Use of modeling constructs that are <Insert <Insert
(See “HDL Code suited for HDL code generation Information> Information>
Generation” in HDL • Use of model configuration suited
Coder™ Reference for HDL code generation
Workflow)

July 22, 2020 certkitiec_hdlcoder_cdt 2-1

3 Design Verification

Checklist 2 Design Verification

Technique / Measure Associated Requirements Used / Used to a Interpretation in
Limited Degree / this Application,
Not used Evidence
1 Adherence to modeling • Designation of modeling standard <Insert <Insert
standard • Review the modeling standard as Information> Information>
(See “Static Model suitable for use
Analysis” in HDL Coder™ • Restriction to modeling constructs
Reference Workflow) suited for HDL code generation
• Evidence for using the modeling
standard

2 Static Model Analysis • Inclusion of all model components <Insert <Insert

(See “Static Model Information> Information>
Analysis” in HDL Coder™
Reference Workflow)

3 Model Reviews • Inclusion of all model components <Insert <Insert

(See “MIL Unit and • Use of designated checklists Information> Information>
Integration Testing” in
HDL Coder™ Reference
Workflow)

4 Model-In-The-Loop (MIL) • Inclusion of all model components <Insert <Insert

Unit and Integration • Consideration of intended and Information> Information>
Testing possible unintended functions
(See “MIL Unit and • Systematic design of test vectors
Integration Testing” in • Inclusion of test vectors being
HDL Coder Reference derived from the specification
Workflow) according to established criteria
• Consideration of model integration
stages
• Consideration of module interaction

5 Model Coverage Analysis • Inclusion of all model components <Insert <Insert

(See “MIL Unit and • Appropriate model coverage metrics Information> Information>
Integration Testing” in
HDL Coder Reference
Workflow)

July 22, 2020 certkitiec_hdlcoder_cdt 3-1

 Technique / Measure Associated Requirements Used / Used to a Interpretation in
Limited Degree / this Application,
Not used Evidence
6 Architecture Verification • Inclusion of all model components <Insert <Insert
(See “Architecture • Data flow and control flow analysis Information> Information>
Verification” in HDL
Coder Reference
Workflow)

7 Supporting activities for • Documentation of the results of <Insert <Insert

design verification reviews, analysis, and tests; Information> Information>
(See “Verification and including achievement of defined
Validation at the Model objectives and criteria
Level (Design • Corrective action on incompliances
Verification)” in HDL and failures
Coder Reference • Impact analysis
Workflow)

July 22, 2020 certkitiec_hdlcoder_cdt 3-2

4 HDL Code Verification

Checklist 3 HDL Code Verification

Technique / Measure Associated Requirements Used / Used to a Interpretation in
Limited Degree / this Application,
Not used Evidence
1 HDL Coding Standards • Designation of coding standard <Insert <Insert
Checking • Review the coding standard as Information> Information>
(See [HDLCoder_M5] in suitable for use
HDL Coder™ ISO 26262 • Inclusion of all code components
Tool Qualification • Validation of HDL coding standard
Package) checking capability
• Verification of HDL coding standard
report content (if validation of HDL
coding standard checking capability
is not performed)

2 Back-To-Back HDL • Validation of HDL test bench <Insert <Insert

Simulation comparison capability Information> Information>
(See [HDLCoder_M1] • Verification of HDL test bench
and [HDLCoder_M3] in comparison code (if validation of
HDL Coder ISO 26262 comparison capability is not
Tool Qualification performed)
Package)
3 Prevention of • HDL coverage analysis <Insert <Insert
unintended functionality • HDL code traceability review Information> Information>
(See [HDLCoder_M2] • Assessment of or justification for
and [HDLCoder_M6] in issues revealed
HDL Coder ISO 26262
Tool Qualification
Package)
4 FPGA-in-the-loop (FIL) • Selection of test vectors subset <Insert <Insert
Testing and FPGA delivering coverage for of the safety Information> Information>
Prototyping (See requirements
[HDLCoder_M4] in HDL
Coder ISO 26262 Tool
Qualification Package)

July 22, 2020 certkitiec_hdlcoder_cdt 4-1

 Technique / Measure Associated Requirements Used / Used to a Interpretation in
Limited Degree / this Application,
Not used Evidence
5 Supporting activities • Documentation of the results of <Insert <Insert
(See “Verification and checks, simulations, tests, reviews, Information> Information>
Validation at the HDL and analysis including achievement
Code Level (HDL Code of defined objectives and criteria
Verification)” in HDL • Corrective action on incompliances
Coder Reference and failures
Workflow) • Impact analysis

July 22, 2020 certkitiec_hdlcoder_cdt 4-2

5 Additional Considerations

Checklist 4 Additional Considerations

Technique / Measure Associated Requirements Used / Used to a Interpretation in
Limited Degree / this Application,
Not used Evidence
1 Revision control and • Configuration management for <Insert <Insert
configuration artifacts to be verified or tested Information> Information>
management • Configuration management for
(See [MISC_M1] in HDL artifacts produced by the tool (test
Coder™ ISO 26262 Tool reports)
Qualification Package)

2 Competency of the • Evidence for competence of project <Insert <Insert

project team team members Information> Information>
(See [MISC_M2] in HDL
Coder ISO 26262 Tool
Qualification Package)
3 Adherence to • Re-running the validation tool’s test <Insert <Insert
installation instructions suite provided with the IEC Information> Information>
and validation of tool Certification Kit
installation integrity • Validation of modification and
(See [MISC_M3] in HDL additions to shipping tools (if
Coder ISO 26262 Tool applicable)
Qualification Package) • Compatibility of product versions for
model creation and requirements
• Evidence for using suitable tool
operational environment

4 Analysis of available bug • Assessment of bug report <Insert <Insert

report information information provided by tool Information> Information>
(See [MISC_M4] in HDL vendors and compliance with
Coder ISO 26262 Tool recommendations and workarounds
Qualification Package) (during development and after
deployment)
• Reporting of issues with MathWorks
products

5 Addressing tool errors • Review of all errors and warnings <Insert <Insert
and warnings (See generated by the tool and taking Information> Information>
[MISC_M5] in HDL Coder appropriate actions per user’s
ISO 26262 Tool documentation
Qualification Package)

July 22, 2020 certkitiec_hdlcoder_cdt 5-1

 Technique / Measure Associated Requirements Used / Used to a Interpretation in
Limited Degree / this Application,
Not used Evidence
6 Deviation from the • Documentation and justification for <Insert <Insert
reference workflow deviations from the reference Information> Information>
(See “Deviation from workflow by using a deviation
Reference Workflow” in procedure (if applicable)
HDL Coder Reference
Workflow)

7 Integration with the • Documented safety lifecycle, <Insert <Insert

safety lifecycle including activities for verification Information> Information>
(See “Integration with and validation as part of a model-
Safety Lifecycle” in HDL based design process
Coder Workflow)

July 22, 2020 certkitiec_hdlcoder_cdt 5-2