2019年6月18日下午“旋极FPGA验证及软件安全性测试技术研讨会”于北京长峰假日酒店成功举办。会议吸引了众多来自FPGA与软件行业的开发测试技术人员,旨在为行业搭建专业化的合作交流平台,帮助大家更好的了解FPGA软件测试领域的测试技术和解决方案等内容。
北京旋极销售总监宋玉平先生参加本次会议并致辞。热情欢迎各位嘉宾的到来,介绍了多年来旋极在FPGA软件安全测试领域积累的研发经验,经过不断专研与磨砺,当前旋极已达到业内领先水平。希望借助平台能够促进各方交流,加强合作,共同推动FPGA软件领域的技术发展与应用。
研讨会开幕致辞
上海旋极技术总监马翔代表技术团队就“FPGA功能测试验证”的主题做了精彩演讲,为用户提供了两种高效能的FPGA测试解决方案,OneSpin提供最先进、最强大的验证平台,使设计团队能够创建功能正确、安全、可靠且值得信赖的SoC,而EXOSTIV主要是FPGA板的创新分析,验证和调试解决方案。针对以上产品与听众进行了深度交流与互动,并于会后通过设置独立展台为大家进一步演示了方案操作流程,使在场嘉宾感受到更为直观的产品功能体验。
“FPGA专用的RTL-Netlist等效性检查”的主题演讲
技术交流环节
会后产品演示引来嘉宾关注
FPGA资深工程师史龙飞发表了“基于模型库的FPGA仿真测试”的主题演讲,其中包含的HDLSimTP软件是一款针对 FPGA软件仿真测试平台进行环境建模的工具,通过可视化来管理平台、模型和组件,对FPGA软件开展仿真测试。
“基于模型库的FPGA仿真测试”的主题演讲
北京旋极技术工程师张新杰发表了关于“软件安全性测试”的主题演讲,他由软件安全—safety和security的两个概念介绍,引入到嵌入式软件行业更加关注代码的内部安全,目前主要利用自动化的静态分析或者代码审查去发现不合规代码以及软件缺陷,如何修复这些潜在的缺陷,从而保证代码质量,提高代码安全,他提供了四种解决方案,CodeSonar基于SAST和DAST的一款静态代码分析工具;DefenseCode依托和覆盖OWASP TOP10缺陷列表的主流解决方案,以及WhiteSource开源库的安全性检测解决方案和Julia针对二进制代码的安全分析。
“软件安全性测试”的主题演讲
技术交流环节
会议精彩瞬间
抽奖环节
一等奖幸运嘉宾
嘉宾领取伴手礼
FPGA验证及软件安全测试工具咨询请Mail至:
info@softtest.cn
— 感谢您的关注 —