Internal Error: Sub-system: WSC, File: /quartus/neto/wsc/wsc_hierarchy_info.cpp, Line: 3276 - Internal Error: Sub-system: WSC, File: /quartus/neto/wsc/wsc_hierarchy_info.cpp, Line: 3276 Description Due to a problem in the Quartus® Prime Pro Edition Software version 24.2 and earlier, you might see this internal error at the Analysis & Synthesis stage when the ENABLE_FORMAL_VERIFICATION assignment setting is set to ON . Resolution To workaround this problem, set the ENABLE_FORMAL_VERIFICATION assignment setting in your Quartus Settings File ( .qsf ) to OFF : set_global_assignment -name ENABLE_FORMAL_VERIFICATION OFF This problem is fixed starting with the Quartus® Prime Pro Edition Software version 24.3. Custom Fields values: ['novalue'] Troubleshooting 15016495249, 14023218942 False ['novalue'] ['FPGA Dev Tools Quartus® Prime Software Pro'] 24.3 24.2 ['Agilex™ 5 FPGAs and SoCs', 'Agilex™ 7 FPGAs and SoCs', 'Arria® 10 FPGAs and SoCs', 'Cyclone® 10 GX FPGA', 'Stratix® 10 FPGAs and SoCs'] ['novalue'] ['novalue'] ['novalue']