智行者IC社区5/7EDA工具选型三步搞定 实测避坑实战实际测试过Synopsys VC Formal 2024.09 – SP1，经历过在浮点数比较模块的Formality验证一致性方面遇到难以处理的情况技术分享#EDA3K 000
