错误：增量综合不支持形式验证

如果选择第三方形式验证工具并打开增量编译选项，Quartus®II软件版本5.1,5.1 SP1和5.1 SP2将生成此错误。

从Quartus II软件6.0开始，第三方形式验证要求打开增量编译选项。