- 设计与验证
- 产品
- 解决方案
- 资源
- 服务
- 社区
- 培训
< 设计与验证
设计与验证
< 产品
< 产品
< 产品
< 产品
< 解决方案
< 解决方案
< 解决方案
< 服务
< 社区
社区
社区概况
< 设计与验证
培训
训练与教学
< IP核
IP核
< 产品
< 产品
< 产品
模拟 IP
数据转换器
< 产品
< 产品
< 产品
< IP核
技术通报
< IP核
成功案例
< IP核
新闻
< 资源
< 软件安全
Polaris平台
全面的应用安全平台以覆盖从开发到部署的各阶段
< 软件安全
< 软件安全
托管安全测试服务
按需获取测试专家与各种测试资源来增强并加速应用安全达成
< 软件安全
< 工具与服务
静态分析
Coverity
< 工具与服务
软件组成分析
Black Duck
< 工具与服务
交互式应用安全测试
Seeker
< 工具与服务
模糊测试
Defensics
< 服务
< 培训
< 培训
产品课程
< 培训
Community
< 资源
博客
< 软件安全
客户
< 合作伙伴
成为合作伙伴
< 软件安全
Blog
< 关于我们
关于我们
< 关于我们
关于我们
关于我们
< 关于我们
社区
社区
< 关于我们
投资者关系
投资者关系
< 新闻中心
< 关于我们
新闻中心
新闻中心
< 关于我们
资源
资源
< 招贤纳士
< 关于我们
招贤纳士
招贤纳士
可扩展的 SoC 验证
及早启动软件
系统验证
缩短项目计划计划数月
业内最快的引擎
- 使用业内领先的 VCS® 仿真、Verdi® 调试、SpyGlass® 静态、VC Formal 和经过硅验证的 IP 验证整个SoC
- 充分利用市面上速度最快的仿真系统更早地启动软件
- 通过 Virtualizer™ 虚拟原型设计和 HAPS® 原型设计验证整个系统
VCS 统一编译
- 在模拟、仿真和原型设计环境之间无缝过渡
Verdi 统一调试
- 跨所有域和抽象层次查找并修复缺陷，显著提高调试效率
原生集成
- 取得更高的验证工作效率、性能和吞吐量
软硬件验证更快，软件启动更早
最佳验证技术
Customer Testimonials