【ZiDongHua 之品牌自定位收录关键词：阿卡思 EDA 芯片验证 IDAS设计自动化产业峰会 】
 
 
　　阿卡思邀您相聚首届IDAS设计自动化产业峰会
 
 
　　
 
　　芯片验证是在芯片生产之前验证芯片设计是否符合芯片定义的需求规格，该环节能够有效节省时间与成本，保证芯片质量和安全，在一个完整的项目周期中，验证所占用的时间可高达六七成。仿真和形式化验证是常见的芯片EDA验证方式，它们各自都有一套签核目标。
 
　　仿真是“测试”的概念，例如编写测试案例，对比这些案例激励芯片得到输出情况进行判断，不过这种测试需要考虑生成激励和覆盖率，往往有些场景容易被忽略；形式化验证则是从建立数理逻辑的模型开始，然后在模型上做一个数学证明，证明确实被芯片设计中建立的非常严格的逻辑模型满足，对于检测出在仿真过程中难以触发的深层错误，加速覆盖率收敛具有较好的效果。
 
　　形式化验证作为一种全新的验证方法，近年来在芯片开发中快速发展，正逐渐取代传统的仿真方法。形式化验证不但能够增加验证的覆盖率，还可以提供符合要求的最小实例。
 
　　国内就有一家企业就选择形式化验证EDA作为自己的赛道，它就是上海阿卡思微电子技术有限公司。
 
　　上海阿卡思微电子技术有限公司（子公司为成都奥卡思微电科技有限公司）专注自主知识产权的逻辑等效性验证软件的开发。公司同深圳上海肇观电子、杭州朔天、昂际航电、中科院、同济大学、南京大学等企业和单位均有合作。目前，该公司提供两款逻辑验证产品：AveMC自动化验证工具软件和AveCEC等价验证工具软件；为提升验证效率，企业还开发了AveTrace波形调试软件。
 
　　

 
　　形式验证软件平台Ave MC
 
　　形式验证软件平台Ave MC具有以下优势：可以通过图形化方式建立属性和约束模型；内嵌精确的覆盖率分析引擎，发现其他工具忽略的属性漏洞；用户可以根据具体的设计和验证场景设计自己的工具；用户可以根据需求配置最为合理的云计算能力。
 

 
　　逻辑等价性验证工具AveCEC
 
　　AveCEC逻辑等价性验证工具具有以下优势：验证整个FPGA/ASIC/SOC设计、支持先进的Data-Path 优化、支持FPGA 设计流程等优势。基于该软件还与友商合作形成了国产ECO方案。
 
　　
 
　　AveTrace波形调试软件
 
　　AveTrace代码波形调试软件，解决了芯片仿真调试当中波形文件太大导致的效率问题。软件对应的波形文件大小比常用类型小一到两个数量级；波形文件加载速度比常规软件提升10倍；提供library，可与第三方数字仿真器集成；支持Tcl/Lua脚本操作波形信号数据；支持对RTL代码的驱动信号和负载信号的追踪。
 
　　为了与全球行业领袖和专家分享前沿观点与交流产业动态，国内领先的芯片数字前端形式化验证EDA软件供应商，上海阿卡思微电子技术有限公司将携最新的产品参展首届IDAS设计自动化产业峰会！
 
　　上海阿卡思微电子技术有限公司
 
　　展位号
 
　　D5
 
　　首届IDAS设计自动化产业峰会将于9月18日在武汉中国光谷科技会展中心举行。大会预计邀请国内外300+半导体上下游企业、600+技术大咖、50+院士及专家学者、50+重磅嘉宾进行主题演讲，涵盖了从器件和电路级到系统级、从模拟到数字设计以及制造等EDA相关话题。届时还有几十多家头部企业携最新产品参展，方便EDA各产业链企业进行合作交流。
 
　　大会议程与参与方式