2017年4月18日,FPGA高级形式验证技术研讨会于上海澳门人威尼斯3966成功举办。此次研讨会,澳门人威尼斯3966公司邀请到了全球领先的FPGA形式验证技术提供商德国OneSpin Solutions 公司的两位专家Colin Mason与Vladislav Palfy,介绍了形式验证技术在FPGA开发测试验证过程中的应用前景和优势,随后详细介绍和演示了EC和DV两个形式工具。等效性检查工具EC能够支持高级优化综合前后的RTL-网表之间的自动化映射和验证;形式化验证工具DV相比代码规则检查工具能发现更深层的设计问题,相比动态仿真工具则能不编写测试平台代码就能快速获得高功能覆盖率。DV的FPGA容错可靠性测试Fault Propagation Analysis App 可通过故障注入提高功能安全的测试通过覆盖率,无需修改网表自动执行测试。
研讨会现场
专家为大家讲解
本次研讨会邀请了高可靠FPGA相关的多个行业的客户参加,澳门人威尼斯3966公司马翔、李茜全程陪同、现场翻译。会议过程中,各位参会客户积极提问,踊跃交流,现场气氛活跃,研讨会圆满结束。
与专家合影留念