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

异构验证方法

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

b1_pic1.jpg xin1.jpg

架构设计

Architecture Design
  • 设计架构规划
  • 系统性能分析
  • 拓宽验证环境
  • 虚拟场景应用
  • 快速IP建模

01

软件仿真

Simulation
  • 增量与并行自动化编译
  • 高效波形处理显示
  • 高性能约束求解器
  • 完整的覆盖率分析
02

硬件仿真

Emulation
  • 超大逻辑设计规模
  • 全自动增量编译
  • 超快运行速度
  • 丰富仿真场景与工具
03

原型验证

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

形式验证

Formal
  • 等价性检查
  • 模型检查
  • 定理证明
  • 覆盖率分析

05

数字调试

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



06

验证云

Cloud Service
  • 弹性算力
  • 资源集中管理
  • 节省成本
  • 保护投资
07
左移周期,并行驱动
设计验证流程
架构设计
IP开发
SoC集成
系统测试
流片
架构设计
软件仿真
硬件仿真
原型验证
数字调试
形式验证
异构验证
架构设计
IP开发
SoC集成
系统测试
流片
   快速架构设计 & 系统性能分析 & 软硬协同设计
左移验证周期,缩短开发周期
 

获取方案

您在设计什么类型的芯片?
设计中含的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
企业微信咨询