在设计流程的每一步提高信心。
快速地覆盖应用程序的互操作性和快速地断言应用程序与其他验证引擎(模拟和正式)使合并覆盖率收集到每个关闭引擎,提供了一个有凝聚力的覆盖率报告和分析流程。它使验证团队和产品管理等重要决策覆盖关闭广播完毕,测试质量分析和可追溯性规范的设计特点和验证抵押品。统一的覆盖方法现在是一个关键需求,并快速的将交付它。
覆盖在快速地模拟和断言
快速地覆盖应用和快速地断言应用将发挥核心作用覆盖和使用断言到系统级验证,将快速的模拟器上运行。
快速地覆盖应用程序支持代码覆盖(声明,分支,切换和FSM)以及功能覆盖构造(covergroup coverpoint,垃圾箱,十字架,等等)。支持切换覆盖在门级网表。排位赛时相关刺激的区域设计上下文从合成其输出的工具。
在任何给定的运行,应用程序允许验证工程师选择是否测试整个系统或专注于一个或多个IP块。可能那些块已经至少部分测试在模拟,以便快速地识别在UCDB和仪器尚未覆盖的范围。
快速地覆盖应用程序提供以下选项来定义用户设计的覆盖范围:
后者选项(包括断言)可以特别有用如果之前报道从模拟/仿真引擎需要省略了从未来的编译。
断言,与此同时,可以包含在仿真水平然后用初始仿真。所有断言类型支持快速地断言应用。为便于调试所需的一组断言可以编译成设计,然后在运行时选择性地启用或禁用。这节约了编译时间那将是必要的,如果设计必须重新编译每次新断言。
易用性的灵活性、TCL和c api接口可以控制在运行时启用覆盖率和断言。所有的覆盖率和断言构造合成和映射到快速的平台。这提供了一个环境测试运行以完全仿真的速度而不影响性能。
戏剧与其他应用程序在所有模式
模拟可以以不同的方式应对不同的挑战。例子包括仿真加速度,虚拟系统级仿真和在线仿真(冰)。
快速地覆盖应用程序和快速地断言应用程序可以使用无论仿真验证中使用模式的效果。
使用快速地覆盖应用程序和快速地确定应用程序在一个冰环境允许覆盖集合从复杂的真实世界的刺激运动测试设计(DUT)。
这两个应用程序也可以使用与其他快速的应用程序快速的力量和快速的适当时机(DFT)应用程序。此外,快速地覆盖和快速地确定的应用与快速的VirtuaLAB组件为刺激生成系统级交通设计。在一起,这些元素可以用来组装综合数字双被测试的设计,允许验证团队运行一组丰富的测试,以确保即使艰难的角落病例检出。
点击在这里去探索更多。
|
|
|
|
|
|
|
|
|
|
留下一个回复