核心技术

自动化如何运转

AlgoSilicon 的产品不是写一次就封存的手工设计——它们由 AI 驱动的设计流程产出: 算法经由三个严格等价的层次变成验证完备的硬件,再自动完成时序收敛。流程本身是 护城河;IP 目录是它的证明。

T1

三层等价

第一层——黄金模型。 算法的纯 Python 表述,对照相关标准、参考工具箱(如 MATLAB 5G Toolbox)或公开 论文验证。它回答一个问题:这个算法到底算什么?

第二层——时钟精确模型。 所选硬件架构的时钟级 Python 模型,对照第一层逐比特验证。每个寄存器、每次饱和、 每个流水级——这个模型是硬件真相的唯一来源。

第三层——RTL。由时钟模型产出的 SystemVerilog, 以零最低有效位容差对照验证,开源与商用仿真器双通过。优化循环先改模型、再重新 产出——RTL 从不手工打补丁。

三层建模示意图
T2

参数化生成器,而非雪花设计

一个 IP 家族被一次性捕获为生成器:架构、调度、位宽与存储映射全部 由码参数推导。新配置、新标准变体、新器件——重新生成、重新验证、交付。20 种 5G NR 译码器配置正是这样端到端实现的,其中 19 种追平或超过商用 IP 的主频。 实测

第一次就用对硅块

每个运算都被映射到最合适的硅资源: 乘法进 DSP、长延迟进块 RAM、短延迟进移位寄存器、宽选择器进专用多路器树—— 靠构造保证,而不是指望综合器开窍。

每时钟一个采样/消息

流式核以启动间隔 1 设计,并以实测 证明。吞吐数据来自仿真中逐周期计数,绝不来自"时钟乘以假设效率"。

最严苛输入测试

每个领域声明真正考验它的输入——LDPC 的 陷阱集、查找结构的碰撞风暴、交易系统的开盘消息洪峰——每个版本都必须通过。

T3

自动化时序收敛

"测量-分析-修复"闭环对每条失败路径分类——逻辑深度、布线拥塞或存储 时钟输出——并施加该类别实测有效性最高的结构性手段:长布线内插流水级、线网铺开的锥体 加布局约束、端口受限的存储阵列做结构重组。每个被接受的步骤都必须通过防伪交叉验证门 与完整功能重新验证。案例:同一颗 5G LDPC 译码器、同一器件,221 MHz 到 463 MHz。 实测

"不造假数字"纪律

在公司内部,没有工具报告支撑的结论等同于构建失败:审计钩子会拦截任何无法追溯到 当前综合、布局布线或仿真日志的数字。对外,这意味着网站上的数字就是报告里的数字。 发布目标值而非实测值时,会明确标注"目标"——失手的结果(比如那个被拥塞卡在 408 MHz 的配置)与成功一起公布。

查看完整工程报告(英文)