MAX® 10 FPGA Design Guidelines

ID 683196
Date 5/15/2024
Public

Visible to Intel only — GUID: ewn1493839520391

Ixiasoft

Document Table of Contents

1.8.3.2. Check for support and design limitations for formal verification

The Quartus® Prime software supports some formal verification flows. Using a formal verification flow can impact performance results because it requires that certain logic optimizations be turned off, such as register retiming, and forces hierarchy blocks to be preserved, which can restrict optimization.