Article ID: 000089745 Content Type: Troubleshooting Last Reviewed: 05/03/2022

Internal Error: Sub-system: QHD, File: /quartus/h/qhd_state_details_sys.h, Line: 65 Model 'netlist' does not exist

Environment

  • Intel® Quartus® Prime Pro Edition
    • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    Description

    Due to a problem with the  Intel® Quartus® Prime Pro Edition Software version 21.4, you may see this error when ENABLE_FORMAL_VERIFICATION is set to ON and there are underlying compilation errors in the design.

    Resolution

    To work around this problem

    1. Change the ENABLE_FORMAL_VERIFICATION  QSF assignment to OFF
    2. Recompile the project to see the underlying errors
    3. Address the errors before setting ENABLE_FORMAL_VERIFICATION back ON

    This problem is fixed beginning with version 22.1 of the Intel® Quartus® Prime Pro Edition Software.

    Related Products

    This article applies to 1 products

    Intel® Programmable Devices

    Need more help?

    Contact support

    Disclaimer

    1

    All postings and use of the content on this site are subject to Intel.com Terms of Use.