Quartus® Prime Pro Edition User Guide: Block-Based Design

ID 683247
Date 8/30/2025
Public
Document Table of Contents

3.5. Safety Region Verification Tool

The safety region verification tool is a command line tool that allows you to verify that the safety logic in the design creation and design modification flows are identical.

The .pmsfs from the design creation and modification flow pass into the tool as arguments and the tool creates a report file to indicate the verification result.

The safety region verification tool ensures that:

  • A design modification flow safety region mask matches the design creation flow safety region mask. For failures, the tool analyzes the failing bits and indicates the corresponding device element when possible.
  • All design modification flow bit settings for the safety region match the design creation flow bit settings. For failures, the tool analyzes the failing bits and indicates the corresponding device element when possible.
  • All device and pins settings that apply to safety match the design creation flow settings. For failures, the tool indicates all the failed settings with expected value
Usage:
srv --out=<folder> <design creation flow-pmsf-file> <design modification flow-pmsf-file>
Return value:

If the safety logic passes verification, returns exit code zero.

On any error condition, the return-code is nonzero.

The return code is zero if “help” is printed.

Output file:

The report file ( <design modification flow pmsf name>.srv.rpt) contains:

  • The command line you use to run the tool.
  • The date when you run the tool command.
  • The full-path name of the tool executable, the design creation flow .pmsf, and the design modification flow .pmsf.
  • The timestamp, version number, and compilation time of the tool executable.
  • The MD5 hash digest of the tool, and .pmsfs.
  • Error and warning messages.
  • Whether the verification is successful.