AN 704: FPGA-based Safety Separation Design Flow for Rapid Functional Safety Certification

ID 683720
Date 9/01/2018
Document Table of Contents

Generating Safety IP Bitstream Files

The design modification flow requires a safety IP bitstream file, known as a partially preserved bitstream. The separate safety IP partitioning verification tool reads the partially preserved bitstream file to verify that no change occurs to the state of safety IP regions ( i.e. whether the safety region is unchanged) or other relevant device level configuration options.

Run any command-lines below from a Nios II 17.0 Command Shell with the current directory set to the Quartus Prime project output_files directory.

  1. Post process the bitstream file (.sof) generated by the Intel® Quartus® Prime assembler, to create the partially preserved bitstream file using the following command
    quartus_cpf --genppb <partitionname>.psm  <projectname>.sof <partitonname>.rbf.ppb
    quartus_cpf -c <partitionname>.psm  <partitonname>.rbf.ppb
    The following commands generate the partially preserved bitstream for two safety IP partitions.
    quartus_cpf --genppb DOC_Single_Axis_FE2H_CVE_DOC_Safe_PLL_DC_Link-doc_safe_pll_dc_link.psm  DOC_top_FE2H_CVE.sof  DOC_Single_Axis_FE2H_CVE_DOC_Safe_PLL_DC_Link-doc_safe_pll_dc_link.rbf.ppb
    quartus_cpf -c DOC_Single_Axis_FE2H_CVE_DOC_Safe_PLL_DC_Link-doc_safe_pll_dc_link.psm   DOC_Single_Axis_FE2H_CVE_DOC_Safe_PLL_DC_Link-doc_safe_pll_dc_link.rbf.ppb
    quartus_cpf --genppb ssg_emb_pwm-doc_pwm.psm  DOC_top_FE2H_CVE.sof ssg_emb_pwm-doc_pwm.rbf.ppb
    quartus_cpf -c ssg_emb_pwm-doc_pwm.psm  ssg_emb_pwm-doc_pwm.rbf.ppb
    During partially preserved bitstream file generation, the Intel® Quartus® Prime software generates an additional checksum file <partitionname>.md5.sign.
  2. Archive the generated .psm, .ppb and .md5.sign files for use later in the design modification flow. For this example, create a design creation flow directory in the output_files directory and copy the following files to it:
    • DOC_Single_Axis_FE2H_CVE_DOC_Safe_PLL_DC_Link-doc_safe_pll_dc_link.md5.sign
    • DOC_Single_Axis_FE2H_CVE_DOC_Safe_PLL_DC_Link-doc_safe_pll_dc_link.psm
    • DOC_Single_Axis_FE2H_CVE_DOC_Safe_PLL_DC_Link-doc_safe_pll_dc_link.rbf.ppb
    • ssg_emb_pwm-doc_pwm.md5.sign
    • ssg_emb_pwm-doc_pwm.psm
    • ssg_emb_pwm-doc_pwm.rbf.ppb
    • Quartus settings (.qpf ,.qsf)
    • HDL Source code, IP, Qsys project (design specific)
    • Exported partition netlists (for safe and other post-fit partitions) (.qxp)
    • Programming file (.sof)
    • Additional safety IP bitstream files (.psm, .ppb, ,md5.sign)
    Note: The Intel® Quartus® Prime archiver does not include all these file types by default. You must ensure all necessary files are archived.
    Note: When unarchiving, use a commonly available MD5 checksum utility (e.g. md5sum shipped with Cygwin in the ) to regerenate the MD5 checksum of the .rbf.ppb and .psm files and compare against those stored in the md5.sign file to check the files for any corruption.

Did you find the information on this page useful?

Characters remaining:

Feedback Message