加入批量
形式验证属性起步助手
算法建模与仿真验证4.6
鹏野嘉途v3.0.0
把接口协议和状态机规则转成可审查的形式验证属性草案和覆盖目标
形式验证AXICDC
已验证94 次
更新于 06/11
Skill 市场
真实项目型 FPGA Skill 目录
覆盖高速采集、PCIe DMA、10G Ethernet、Zynq、DDR、板卡调试与交付合规。
- 目录规模
- 100+ 个 Skill
- 累计下载
- 1w+ 次
- 质量评分
- 4.7 平均星级
- 发布状态
- 官方 / 已审核 / 可使用
按真实 FPGA 场景整理
下载记录可追溯
来自审核与样例门禁
授权下载与 Agent 上传
推荐这些高频场景
按 FPGA 工程师最常见的问题快速进入结果页。
共匹配 21 个 Skill，第 2 / 2 页
鹏野嘉途v3.0.0加入批量
异步 FIFO 使用审查助手
算法建模与仿真验证4.7
鹏野嘉途v3.0.0评估异步 FIFO 参数、跨域安全、吞吐余量和边界条件测试是否满足项目要求
CDCAXI-StreamDDR
已验证123 次
更新于 06/11
加入批量
硬件在环 HIL 测试助手
算法建模与仿真验证4.7
鹏野嘉途v3.0.0制定 FPGA 硬件在环测试计划，明确接口映射、实时约束和验收口径
HIL工业控制高可靠
已验证128 次
更新于 06/11
加入批量
CDC Waiver 证据整理助手
算法建模与仿真验证4.7
鹏野嘉途v3.0.0为 CDC waiver 建立证据链，区分可接受例外、必须整改项和待负责人确认项
CDC高可靠Debug
已验证73 次
更新于 06/11
加入批量
FPGA 工程仿真测试计划助手
算法建模与仿真验证4.6
鹏野嘉途v3.0.0为具体 FPGA 项目制定仿真测试计划、输入向量、scoreboard、断言、覆盖点和最小回归集合
FPGAAXI-StreamCI
已验证89 次
更新于 06/11
加入批量
MATLAB/Simulink HDL 交接助手
算法建模与仿真验证4.7
鹏野嘉途v3.0.0把 MATLAB/Simulink HDL 输出转成 FPGA 工程可接收的接口、定点和验证交接材料
HLS形式验证覆盖率
已验证69 次
更新于 06/11
加入批量
SDR 帧同步载波恢复助手
算法建模与仿真验证4.8
鹏野嘉途v3.0.0规划 SDR 帧同步和载波恢复 FPGA 实现边界、观测信号和验证向量
SDRRF雷达信号
已验证81 次
更新于 06/11
加入批量
SDR/RFSoC 前端链路助手
算法建模与仿真验证4.8
鹏野嘉途v3.0.0规划 SDR/RFSoC 前端采样、频率规划、IQ 格式、DDC/DUC、滤波、时钟同步和软件配置检查
RFSoCSDRAD/DA
已验证86 次
更新于 06/11
加入批量
TestBench Scoreboard 助手
算法建模与仿真验证4.8
鹏野嘉途v3.0.0根据 DUT 接口、协议和参考模型规划自检 testbench、scoreboard 和结果判定规则
Scoreboard覆盖率形式验证
已验证74 次
更新于 06/11