Quartus® Prime Pro Edition User Guide: Block-Based Design
ID
683247
Date
8/30/2025
Public
1.1. Block-Based Design Terminology
1.2. Block-Based Design Overview
1.3. Design Methodologies Overview
1.4. Design Partitioning
1.5. Design Block Reuse Flows
1.6. Incremental Block-Based Compilation Flow
1.7. Setting-Up Team-Based Designs
1.8. Bottom-Up Design Considerations
1.9. Debugging Block-Based Designs with the Signal Tap Logic Analyzer
1.10. Block-Based Design Flows Revision History
3.1. Preserving the Device Resources
3.2. Fixing the Safety Partitions to Logic Lock Regions
3.3. Exporting and Importing Safety Logic Partitions
3.4. I/O Banks in Safety Partitions
3.5. Safety Region Verification Tool
3.6. Implementing Partitions for the Safety Separation Design Flow Revision History
3.4.1. Preserving GPIO IP and the I/Os in I/O Banks in Safety Partitions
3.4.2. Preserving IOPLL IP in I/O Banks in Safety Partitions
3.4.3. Preserving I/Os (other than GPIO IP I/Os) in I/O Banks in Safety Partitions
3.4.4. Verifying the Preserved I/Os in the Safety Partition
3.4.5. HSIO Bank 3A in a Safety Partition
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.