您是否对开发复杂的系统级覆盖驱动测试来验证您的片上系统 (SoC) 所花费的所有手动工作和时间感到沮丧? Cadence Perspec System Verifier 使整个过程自动化,将复杂的用例场景开发从几周缩短到几天。 与手动测试开发相比,使用此平台解决方案,您将能够以 10 倍的速度生成多 10 倍的测试。 此外,凭借其集成的调试功能,您将能够重现、查找和修复复杂的 SoC 级错误,以提高 SoC 的整体质量。
主要优势
- 为复杂系统场景验证创建 SoC 测试的效率提高了 10 倍
- 通过构建生成复杂的并发多核/多线程测试
- 在最快的验证引擎上通过状态空间的自动用例放大和时序探索来验证更多极端情况
- 将测试意图和测试套件轻松移植到派生项目
- 支持 Accellera 便携式测试和刺激规范 (PSS) 1.0
- 可下载的 PSS 方法和库:包括库文档、PSS 最佳实践和实际示例,以及库的 PSS 源。
通过应用适当的抽象级别,Perspec System Verifier 可以应对验证 SoC 性能、功能和功率方面日益增长的挑战。
该平台是可移植的,支持跨以下重用:
- SoC 范围,从 IP 到系统级,包括硬件感知软件
- 领域专家创建模型并描述场景,使验证和验证工程师能够创建系统范围的测试
- 生成的测试在所有 Cadence 验证引擎上开箱即用
使用 Perspec System Verifier,您将受益于测量的完整性,涵盖功能、流程和依赖性。 您还将获得知识转移优势,因为正式的、基于模型的系统描述支持不同团队之间的知识共享,尤其是硬件和软件工程师。
主要特点
- 目标导向和真正的约束解决
- 利用现有标准和成熟技术的多平台、多语言解决方案
- 状态空间的自动用例放大和快速验证引擎上的时序探索
- 将便携式激励连接到 UVM 测试台以进行 IP 和子系统验证以及激励可移植性
- 覆盖和自动填充能力
- 在生成的 C 测试中内置调试和覆盖日志记录,以加快覆盖结果的调试和分析
官方网站: https://www.cadence.com/
软件语言: English
文件大小: 3.6 GB
运行环境: RHEL/CentOS 7.4-7.6/RHEL 8.1/SLES 12/SP3
评论前必须登录!
注册