AI 驱动的算法到芯片

从算法
经过验证的芯片

AlgoSilicon 用 AI 驱动的设计自动化流程打造 FPGA IP 核:一段 Python 算法,变成逐比特精确、时序收敛的 RTL 硬件——每一层都对照黄金数学参考模型 验证。我们发布的每一个性能数字,都来自真实的工具报告。

463 MHz
5G LDPC 译码器布局布线收敛主频 实测
19/20
自动生成配置追平或超过商用 IP 主频 实测
0 LSB
RTL 对黄金模型的全套验证误差 实测
2–8
从算法到验证完成的 RTL,典型项目周期
01 / 产品

自动生成、严格验证的 IP 核

每个 IP 家族都由参数化生成器产出:改变码率、块长等参数,即自动生成 并重新验证一个新的逐比特精确的译码器或流水线。您获得的不只是一颗经过证明的 IP, 还有几天内重新定制它的能力。

LDPC 译码器

5G NR · IEEE 802.11n · CCSDS

面向 3GPP 5G NR(BG1/BG2 全部提升因子)、Wi-Fi 与 CCSDS 深空链路的分层与折叠 QC-LDPC 译码器。校验子提前终止,零 DSP 占用,单 CNU 面积等级。

主频(5G NR,xcku13p)463 MHz 实测
吞吐(提前终止)>1 Gbps 实测
DSP 占用0
LDPC 家族

DSP 流水线

FFT · FIR · CIC · NCO/DDS

流式 FFT 引擎(1k–8k 点)与 58 个变体的 FIR 滤波器家族:对称、脉动阵列、 多通道 TDM、多相重采样、数字上下变频链。每个时钟周期处理一个采样,从不间断。

FFT 主频(1k–8k)404–446 MHz 实测
FIR 主频(峰值)485 MHz 实测
启动间隔II = 1
DSP 家族

交易系统

限价订单簿 · 行情数据

硬件限价订单簿构建器,每个时钟周期处理一条交易所消息,并用真实 NASDAQ 行情 回放逐比特验证。层级化符号缓存可扩展到全市场覆盖。

流水线主频361 MHz 实测
热路径延迟11 周期 实测
端到端延迟130 ns 目标
交易家族

量子 LDPC

量子纠错译码 · 研发中

面向双变量自行车码(IBM "gross" 码 [[144,12,12]])的 Relay 置信传播译码器。 FPGA 流水线化的 BP 迭代主频已超过已发表的参考实现。

BP 迭代主频118 MHz 实测
已发表参考实现83 MHz
状态研发中
量子 LDPC 计划
02 / 服务

FPGA 设计服务

打造我们 IP 的自动化流程,同样可以服务于您的算法。我们把 Python 或 MATLAB 参考实现变成验证完备、时序收敛的 RTL,也可以拯救一个迟迟无法时序收敛的现有设计。

算法到 RTL

您的信号处理或决策算法,交付为逐比特精确的可综合 RTL,附带完整验证套件。 典型交付周期 2–8 周。

流程详解

时序收敛攻坚

自动化收敛流程对每条失败路径分类,施加正确的结构性修复。案例:一颗 5G LDPC 译码器在同一器件上从 221 MHz 提升到 463 MHz。实测

收敛流程

IP 定制

目录中任意 IP 的新码率、新块长、新通道数或新目标器件——约一周内重新生成并 重新验证,而不是一次重新设计。

定制变体
03 / 方法论

三层模型,零含糊

每个产品都通过严格的三层等价链: 对照公开标准验证的黄金数学模型;对照黄金模型验证的时钟精确 Python 模型; 以及对照时钟模型逐比特验证的 RTL——零最低有效位容差。

性能数字遵循同样的纪律:网站上的 每个数字,要么来自真实的综合、布局布线或仿真报告,要么明确标注为目标值。

深入方法论
三层建模:黄金数学模型、时钟精确模型、Verilog RTL
实测数字承诺

本站每一个数字都能追溯到一份工具报告:Vivado 时序总结、资源利用率报告, 或时钟精确仿真日志。尚未实测的数字明确标注为目标值。您可以就任何一条数据 向我们索取背后的报告。

申请评估