解决方案
赋能芯片设计,塑造芯片未来

异构验证方法

架构设计、软件仿真、硬件仿真、原型验证、形式验证等不同的验证方法都有各自的优点,也有各自的不足。异构验证方法是基于最新的验证技术,整合多种验证方法,不断创新验证工具和验证流程,以确保设计出正确的芯片。

b1_pic1.jpg xin1.jpg

架构设计

Architecture Design
  • 设计架构规划
  • 系统性能分析
  • 虚拟化应用场景
  • 早期IP建模
01

软件仿真

Simulation
  • 支持主流HDL语言
  • 周期和事件驱动模式
  • 高速并行仿真引擎
  • 高阶建模接口
02

硬件仿真

Emulation
  • 超大逻辑容量
  • 自动设计编译
  • 信号全可视调试
  • 支持ICE/SBA/TBA
03

原型验证

Prototyping
  • 高性能高密多核硬件
  • 自动设计分割
  • 深度调试系统
  • 丰富的接口库
04

数字调试

Debugging
  • 源代码导航和追踪
  • 全面的波形图调试
  • 直观的原理图展示
  • 深度的覆盖率分析

05

形式验证

Formal
  • RTL模式检查
  • 等价性检查
  • 断言空泛性检测
  • 覆盖率分析
06

验证工具对比

SOC/ASIC 设计规模不断增大,且结构愈加复杂,导致验证的复杂度呈指数级增长。为了缩短芯片的上市周期,在不同设计阶段选择不同的验证工具,提高生产效率,加速验证的收敛显得尤为重要。考量设计规模,在线调试能力,软件调试能力,低部署成本,可重用性,调试能力,编译速度和运行速度,选择不同的验证工具,完成日益复杂的验证项目。

全部
All
软件仿真
Simulation
硬件仿真
Emulation
原型验证
Prototyping
b1_pic1.png
0000.png
huangse-220.png
hongse-27.png
缩短芯片周期
设计验证流程
架构设计
IP开发
SoC集成
系统测试
流片
架构设计
软件仿真
硬件仿真
原型验证
数字调试
形式验证
异构验证
架构设计
IP开发
SoC集成
系统测试
流片
   快速架构设计 & 系统性能分析 & 软硬协同设计
左移验证周期,缩短开发周期
 
完整验证方法

在芯片开发的各个阶段会有不同的设计与验证需求,我们的多个产品组合可满足从 IP 开发、SoC 集成、软硬件集成、软件开发、系统验证等各阶段的设计验证需求。通过使用我们的通用数字电路调试软件和丰富的验证 IP 库,建立统一的设计、验证与调试环境,确保在同一芯片项目开发中, 不同团队能够实现高效协作,从而提高整体开发效率。

Roadmap.jpg

获取原型验证方案

您在设计什么类型的芯片?
设计中含的ASIC门容量为?
500万 - 2千万
2千万 - 5千万
5千万 - 1亿
1亿 - 10亿
大于10亿
您倾向于使用哪款FPGA?
赛灵思 VU440
赛灵思 KU115
赛灵思 VU19P
赛灵思 VU13P
赛灵思 VU9P
英特尔 S10-10M
英特尔 S10-2800
不太确定,需要专业建议
您需要什么样的FPGA配置?
单颗FPGA
双颗FPGA
四颗FPGA
八颗FPGA
不太确定,需要专业建议
您需要什么样的外设接口?
您需要多少数量的原型验证平台?
您是否需要以下工具?
分割工具
多FPGA调试工具
协同建模工具(允许大量数据在 FPGA 与 PC 主机之间进行交互)
您什么时间内需要使用到我们产品?
0-6个月
6-12个月
大于12个月
不太确定
其他
提交
输入您的电话,我们即刻给您回电
输入您的电话
验证码
您也可直接拨打电话:400 8888 427 或添加企业微信
电话咨询
微信咨询
企业微信咨询
TOP
企业微信咨询