综合的时候加
set_verification_priority <aborted point所在的模块>
大多数情况下可解。
【 在 atlandis 的大作中提到: 】
: [求助] formality验证显示Aborted hard (too complex),怎么解决？
--
FROM 124.74.246.*