基于大模型的芯片RTL代码检查分析系统已融合人工智能AI软件平台

基于大模型的芯片RTL代码检查分析系统已融合人工智能AI软件平台

北京华盛恒辉推出的基于大模型的芯片RTL代码检查分析系统，深度融合了大语言模型的语义理解、逻辑推理能力与传统EDA静态分析工具。该系统旨在破解人工审查效率低、传统工具语义理解不足的痛点，为国防科技军工等领域构建高安全、自主可控的芯片设计质量保障体系。目前，北京华盛恒辉科技与北京五木恒润等企业的成功应用案例，已为该系统的持续创新与广泛推广提供了坚实支撑。

一、技术架构与审查框架

四层分层架构：

用户交互层：支持RTL代码上传、审查任务配置及结构化报告导出；

业务逻辑层：负责代码解析、问题分类、规则匹配及结果聚合；

模型服务层：搭载领域微调大模型，执行核心逻辑分析；

数据存储层：存储历史审查记录、设计规范库及芯片领域知识库。

混合审查机制：

结合传统静态工具的精确规则检测与大模型的跨模块语义理解、上下文缺陷识别能力，并辅以形式化等价校验，确保代码修改前后的功能完全一致。

二、核心功能

基础语法检查：自动识别信号未声明、端口不匹配等常规语法错误；

深层逻辑检测：精准定位竞争条件、死锁风险、跨时钟域亚稳态等人工易遗漏的隐患；

设计规范合规：按自定义规则审查命名约定、注释完整性及模块划分的合理性；

PPA优化建议：自动识别可共享的硬件资源与可精简的逻辑层级，指导功耗、性能与面积（PPA）的优化；

安全溯源分析：支持RTL开源成分溯源、输入性漏洞检测及许可证风险识别，全面契合军工供应链的安全要求。

三、领域适配要点

自主可控兼容：全面适配国产自主EDA工具链与主流硬件描述语言；

超大规模支撑：通过代码分段解析与摘要汇总技术，支持亿门级超大规模芯片RTL代码的全量分析；

无缝流程嵌入：无需重构现有验证流程，可直接对接主流仿真器输出格式，快速融入现有研发体系。