VeriTiger®-V19P系列
VeriTiger®-E4000T系列
VeriTiger®-V13P
VeriTiger®-V9P
VeriTiger®-K115
VeriTiger®-VP1802

VeriTiger®-E4000T系列:亚科鸿禹最热销的原型验证系列产品,基于Xilinx Virtex UltraScale XCVU440 FPGA,安全可靠、操作简单、性能优越。支持多片Partition、具备DeepDebug功能,结合自主开发的运行时管理软件ProtoWizard®与仿真加速软件Semu®,为用户提供监测、自检、验证、调试、管理与仿真加速等多种功能,提升项目开发效率,缩短仿真验证时间。

VeriTiger®-QE4000T

FPGA数量:4 尺寸:447 * 679 * 98 (mm) 重量: 14.0 Kg 功率: 最高600W

VeriTiger®-DE4000T

FPGA数量:2 尺寸:447 * 340 * 95 (mm) 重量: 7.0 Kg 功率: 最高300W

VeriTiger®-E4000T

FPGA数量:1 尺寸:340 * 223 * 91 (mm) 重量: 3.0 Kg 功率: 最高150W

大容量、强扩展
单片VeriTiger®-E4000T平台提供2600万ASIC门的验证容量,通过高性能互联,四片VeriTiger®-QE4000T平台实现超1亿门逻辑验证规模,并支持机架及机柜级多QE4000T的级联扩展。
高速收发、高频运行
高速收发接口用于平台与主机间的数据传输和信号抓取,16.3Gbps GTH高速通道实现高性能的板间互联,单板VeriTiger®-E4000T运行时钟频率可达100MHz、多片VeriTiger®-QE4000T运行速率可达20-30MHz。
接口灵活,超强扩展能力
丰富的高性能IO及多种类型高速接口资源,支持100多种即拿即用的功能子卡资源,可快速创建目标原型系统,自研子卡管理软件有效监测管理。
提供全流程编译工具,缩短RTL到bitstream时间
亚科鸿禹为VeriTiger系列原型验证系统定制开发全流程编译工具,从hsSynth高效并行综合解决方案显著缩短综合时间,到hsPar自动分割、hsTrace高性能调试,显著缩短用户RTL到Bitstream流程时间及验证的运行调试效率。
主要参数
产品名称 逻辑容量 Block RAM DSP Slices 用户IO 内存支持
VeriTiger®-QE4000T ~ 104M ASIC Gate 354.4Mb 11520 4112 DDR4*12,DDR3*12
VeriTiger®-DE4000T ~ 52M ASIC Gate 177.2Mb 5760 2056 DDR4*6/DDR3*6
VeriTiger®-E4000T ~ 26M ASIC Gate 88.6Mb 2880 1028 DDR4*3/DDR3*3
功能标签
支持多片分割
支持深度调试
支持HyperSemu®硬件仿真加速
hsSynth
hsSynth高速并行逻辑综合解决方案打破对大规模设计进行完整综合的执行惯性,对用户RTL级设计进行模块级拆分定义,采用多模块同步并行的执行模式,实现综合流程的多倍提速。对于设计中的多次迭代,使用hsSynth仅需对迭代的子模块进行重新综合,极大加速迭代综合流程。
功能标签
Top-down
Bottom-up
增量编译
多倍提速
ProtoWizard®
ProtoWizard®是亚科鸿禹®自主研发的对原型硬件平台进行资源管理的软件,重点应用于FPGA 原型验证过程中的环境搭建、资源管理、安全监测、系统配置等,帮助用户快速建立开发环境,有力提升原型验证效率。
功能标签
支持多用户管理
支持多设备管理
支持远程关机
支持在线更新
支持硬件自测
hsDman
hsDman是亚科鸿禹®自主研发的子卡管理软件,对亚科鸿禹®为用户提供的100多种即拿即用的功能子卡资源进行有效监测管理,协助测试团队快速创建接口类目标原型系统。
功能标签
管脚映射
子卡库
母板库
转接卡库
hsTrace
hsTrace深度调试工具针对嵌入式逻辑分析仪由于采样数据存放于FPGA片上导致资源受限、采样深度受限、采样数据导出速度过慢等痛点,采样数据存储于外部DDR中,不占用FPGA的RAM资源,避免对用户设计造成影响,同时极大增加了存储波形数据的容量,以太网接口作为通信接口,快速传输波形数据至PC端,在PC端接收到标准的波形文件后,就可以对波形数据进行还原显示。
功能标签
外置DDR
以太网快速传输
1G Dump波形深度
子卡是功能验证的重要辅助工具,能够有力增强验证扩展性。亚科鸿禹提供100多种即拿即用功能子卡资源,并提供经过众多开发项目充分验证的成熟解决方案。同时随着SoC/ASIC设计验证的需求不断多样化,更多类型的子卡需求不断涌现,亚科鸿禹专业研发团队可根据验证项目需求提供快速高效的子卡定制服务。
HSPI2-027-SoC3-A14
HSPI2-027-SoC3-A14
HSPI2-044-GPIO-B12
HSPI2-044-GPIO-B12
HSPI2-057-UTEH-A11
HSPI2-057-UTEH-A11
HSPI2-070-MIPI-A10
HSPI2-070-MIPI-A10
HYDZ-054-SFP8-A10
HYDZ-054-SFP8-A10
HYDX-034-USB3-A12
HYDX-034-USB3-A12
HSMGT-073-SGMI-A10
HSMGT-073-SGMI-A10
HSMGT-048-HD20-B11
HSMGT-048-HD20-B11
HSMGT-018-M2ST-A10
HSMGT-018-M2ST-A10
HSMGT-025-PCIE-B10
HSMGT-025-PCIE-B10
HYDX-018-PCIE-M10
HYDX-018-PCIE-M10
HSMGT-026-PCRT-A10
HSMGT-026-PCRT-A10
HSPI2-049-ZYU4-A12
HSPI2-049-ZYU4-A12
HYDT-050-FMC1-B10
HYDT-050-FMC1-B10
Samtec-HSPI2-Cable
Samtec-HSPI2-Cable

客户案例

获取定制方案

根据您设计的规模大小、接口类型、应用领域等方案参数量身匹配最优ROI验证方案,搭建调试仿真环境、深度跟踪验证全流程