会议现场
2024年11月15日—11月17日，2024 CCF中国软件大会在陕西省西安高新国际会议中心圆满举办。会议期间，来自国内外软件相关领域内学者、师生与从业者共2400余人，围绕“智能软件创新赋能新质生产力发展”主题进行交流探讨、思维碰撞。
大会共设平行论坛44个，包含常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，主题涵盖系统软件、工业软件、嵌入式软件、开源软件、软件验证、形式化方法、软件基础教育等多个前沿领域，并邀请了超过10位中国科学院院士与中国工程院院士，参会分享最新学术成果。
我司有幸受邀出席此次盛会，重点分享了公司目前在面向FPGA系统安全和代码可靠性的设计自动化技术相关最新成果。
会议展示
公司创始人兼总经理樊平，在此次大会的智能化高可信嵌入式软件工程论坛上，就《面向FPGA系统安全和代码可靠性的设计自动化技术》主题展开分享，面向当前FPGA系统安全和代码可靠性的问题，给出代码设计、FPGA架构、FPGA系统三个层次的自动化设计方法，重点探讨RTL和HLS代码的智能分析和加固技术、FPGA架构的高覆盖故障注入和自动分析验证方法、以及基于FPGA虚拟化的高可靠调度和安全高效内存管理策略，展示了我司在工业实际应用场景的实践成果。
在FPGA代码层次，保守的可靠性冗余设计往往损害系统的性能和能效，而智能化的FPGA设计抗辐照自动加固技术可有效降低费效比。在FPGA架构层次，故障注入与自动验证技术的结合，可以全面而有效地评估自动加固的正确性和可靠性。在FPGA系统层次，动态重构、内存管理、资源调度等技术的引入，增加了FPGA系统的复杂性，同时也带来安全性和可靠性方面的挑战与机遇。
关于CCF中国软件大会
CCF中国软件大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成。NASAC创立于2002年，已举办二十二届，由CCF主办，CCF软件工程专业委员会与CCF系统软件专业委员会共同承办，是中国软件科学与工程相关领域参会人数最多、影响范围最广、涵盖内容最全面的学术会议。全国形式化方法与应用会议（FMAC）创立于2016年，历经八届，由CCF主办，CCF形式化方法专业委员会承办。FMAC聚焦形式化方法理论前沿和最新研究进展，深化拓展形式化方法与相关领域的交叉，促进形式化方法、工具和应用在国内的发展。
关于深维
公司积极响应国家“自主可控”和解决“卡脖子”问题的号召和要求，凭借着在FPGA行业近20年的技术积累和优势资源，推出了面向大容量 FPGA的国产正向设计综合工具（组件库）、可靠性设计加固与仿真分析、高性能FPGA多方应用部署等工具和平台，已为装备、航天和航空等单位提供定制化EDA解决方案和技术服务。
公司关注客户痛点和致力核心技术攻关，围绕解决FPGA应用开发的设计过程加速和芯片性能优化等问题，为空天、航天、航空、船舶、电力、汽车和通信等行业，提供FPGA设计加速SaaS云服务、定制化FPGA EDA解决方案和技术服务。