2018年3月19日至3月26日，我司分别在西安、北京、武汉、成都四个城市设立了本次FPGA测试验证技术研讨会议的会场，本次会议核心主题为《FPGA形式化验证方法探讨》，公司总经理张鹏，技术总监徐小艾参与本次会议的筹备与安排，更诚邀行业内各大研究单位重要客户伙伴莅临参会。

北京站会场签到

武汉站徐小艾先生技术讲解

西安站现场技术交流

成都站张鹏先生做企业介绍

会议自3月19日西安站首发，每一站会议都得到客户伙伴的积极支持，会场签到络绎不绝，客户朋友们都对形式化验证技术方法表现出浓厚的兴趣。本次会议由我司技术总监徐小艾先生作为主讲人，对当下FPGA的开发和测试工作中的热点问题做了深刻剖析和探讨，就FPGA到底该如何测试？FPGA形式化验证如何快速方便实施等问题做出了详细的阐述，除了技术理论基础的分享外，会议过程中，徐小艾先生更做了详细的技术演示，将如何真正把技术理论实现并便捷的完成技术要求做了完整的示范，演示结束后为技术交流时间，现场人员频频举手提问，就技术问题进行了激烈的讨论与分享，参会人员怀着认真严谨的态度，从实际问题出发，畅所欲言，思维碰撞，共同为FPGA设计领域的安全可靠保驾护航。

本次会议参会单位众多，遍及航空、航天、电子、兵器、船舶等各大重要领域，可见当前行业内对于FPGA测试验证技术需求的重要性和必要性，迪真科技始终坚持对技术求真务实的严谨态度和精神，为业内提供可靠的、高效的、完整的全套技术解决方案。