《硬件描述语言Verilog安全编程子集》标准立项修订与发展报告.docxVIP

《硬件描述语言Verilog安全编程子集》标准立项修订与发展报告

硬件描述语言Verilog安全编程子集标准发展报告

标准号：2026001449

EnglishTitle:StandardDevelopmentReportforSafeSubsetofVerilogHardwareDescriptionLanguageProgramming

摘要

随着集成电路设计复杂度持续攀升，硬件描述语言Verilog在CPU、GPU、FPGA、NPU等数字逻辑设计领域得到广泛应用，其编程安全性直接关系到芯片功能正确性、可靠性与信息安全。当前Verilog语言语法灵活、结构开放，设计人员在实际编码中易因语法误用、语义歧义或非可综合结构引入安全隐患，导致芯片设计缺陷、验证周期延长甚至流片失败。为规范Verilog语言在安全关键领域的编程行为，提升硬件设计代码质量与可验证性，国家标准项目《硬件描述语言Verilog安全编程子集》（标准号：2026001449）正式立项制定。本标准由全国信息技术标准化技术委员会（TC28）归口，TC28SC22程序设计语言分会执行，主管部门为国家标准化管理委员会，主要起草单位包括兰州大学、北京计算机技术及应用研究所、中国电子技术标准化研究院、清华大学、中国科学院计算技术研究所、北京智芯微电子科技有限公司。本标准规定了严于语法规定的可综合Ve