制造商：上海阿卡思微电子技术有限公司
AveCEC支持设计全流程，能独立于任何工具实现，能处理大型设计。超过半数的设计需要 re-spin. re-spin的主要原因是功能错误；AveCEC采用数学方法， 穷尽所有情况，不需要用测试向量，确保设计实现和黄金设计一致。
特点和优势
AveCEC具有以下特点及优势：
1.工具处理速度快，比模拟高效，两者不在一个数量级；
2.快速查错，有较强的debug能力；
3.支持复杂datapath优化；
4.支持先进门钟设计优化 （Clock Gating）；
5.可扩展性：可以验证整个SOC设计；
6.支持FPGA 设计流程；
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
暂无评论内容