需求自动解析
解析规格书与协议文档，生成架构设计规格
平台介绍
RTL 编码测试平台由智能体执行设计与验证工作，人工审定关键方案，融合领域认知规则与物理设计约束，贯通需求转译、基准自建、RTL 编码与综合仿真全流程，逐级把关、问题自动闭环、全程留痕，支撑 FPGA/ASIC 研发与架构验证，可迁移至嵌入式、工控等研发领域。
核心功能
RTL 智能编码
依规格生成可综合代码，关键方案人工审定
算法辅助验证
构建参考模型与激励，比对算法实现正确性
综合仿真验证
功能仿真与逻辑综合并行，覆盖达标、时序收敛
设计经验复用
设计知识图谱化沉淀，方案模板可检索复用
技术架构
智能服务层
- 需求意图自动转译
- RTL 代码自动生成
- 验证基准智能构建
- 质量偏差自主收敛
智能能力层
- 需求转译与规约
- 基准自建与验证
- RTL 编码与仿真
- 成果检验与收敛
智能底座层
- GNex AgentOS
- 代码生成引擎
- EDA 工具链集成
- 形式化验证引擎
- 仿真验证引擎
- 代码规范库
常见问题
不换 MATLAB 和 Vivado。算法验证走 MATLAB，综合和功能仿真走 Vivado。平台把需求收成规格、生成 RTL，再把仿真结果交回来处理。验证和仿真仍在这两套工具里看结果。项目里没用到的其他工具，不在默认对接范围内，要在方案里单列。