OneSpin的PortableCoverage解决方案进行验证
onespin solutions的portablecoverage，这是第一个与所有主要模拟器、覆盖数据库和查看器以及芯片设计验证规划工具集成的形式验证解决方案，使用户能够选择他们选择的供应商或多个供应商。
“仿真和形式验证对于我们的芯片设计验证策略至关重要，”博世传感器技术公司的验证专家 thomas klotz 说。“我们需要持续评估整体验证进度，以确定下一步并根据我们的时间表衡量进度。onespin 的 portablecoverage 在开放式验证流程中为我们提供了这种能力，因此我们可以使用来自多个供应商的一流工具。”
介绍便携式覆盖
“形式验证现在是主流流程的一部分，并被许多验证工程师使用，因此它必须与基于仿真的工具集成，”onespin solutions 总裁兼首席执行官 （ceo） raik brinkmann 博士评论道。“工程师需要强大、灵活的流程来快速满足新要求。onespin 的 portablecoverage 提供了将形式无缝集成到高效、面向未来的验证流程中的自由。”
portablecoverage 支持形式和模拟的集成，以实现精确、定量的验证评估和验证进度的全面视图。这最大限度地减少了正式工作和模拟工作之间的重叠，从而减少了整体验证工作。portablecoverage 在覆盖率数据库中集成了正式和模拟覆盖率指标，以统一查看覆盖率状态。
两个新的正式应用程序，验证覆盖率集成 （vci） 应用程序和覆盖率关闭加速器 （cca） 应用程序，使这成为可能。一旦 vci 应用程序将 onespin 的 quantify 覆盖率指标添加到用户的覆盖率数据库中，覆盖率查看器就会显示集成的形式和模拟指标，从而提供覆盖率状态的统一视图。
cca 应用程序可识别无法到达的覆盖点并将其提供给模拟器，从而加速覆盖范围的关闭，同时消除试图命中无法到达的覆盖点的浪费精力。
portablecoverage 还包括 onespin 的验证计划集成 （vpi） 应用程序，该应用程序将 onespin 工具的正式结果注释到验证计划中。集成的形式和模拟结果提供了验证计划的全面视图。它还通过提供跟踪验证结果与设计规范的链接来确保工程师满足严格的安全标准。
quantify app 使用正式的基于模型的变异覆盖来准确评估断言质量和完整性。覆盖数据可以与传统的结构覆盖度量集成。
onespin 的所有应用程序都利用了 onespin 360 dv-inspect 和 onespin 360 dv-verify 产品提供的形式验证技术。
宁德时代宣布投资290亿元在三地同时扩产
电动汽车电机与普通电机的7点区别
八核8K瑞芯微旗舰级RK3588核心板
第二十三届中国国际工业博览会圆满收官
储能迎迅猛发展期 多个场景需求向好
OneSpin的PortableCoverage解决方案进行验证
智能化妆镜将告诉我们它是如何引领美妆潮流的
软件性能测试经常关注的指标
iPhone 6透明屏的应用范围有哪些？
数字示波器DS70000系列介绍
Uber自动驾驶事故原因解析_自动驾驶事故还有哪些
光伏直流电能计量表在加拿大光伏系统中的应用
高压环网柜的常见故障类型以及预防措施
Oppo Find X2 Pro带来沉浸式听觉体验
格林美逾54亿纵深三元前驱体全球布局
农用自动供水器电路图(2)
研华隆重举行物联网创新应用论坛“共创物联世界，洞见智能未来”
全球首款轻量级机械臂已经出现了！
【新专利介绍】一种能够进行自动检测的燃气表
英特尔9系芯片组或不兼容Haswell处理器
“仿真和形式验证对于我们的芯片设计验证策略至关重要，”博世传感器技术公司的验证专家 thomas klotz 说。“我们需要持续评估整体验证进度，以确定下一步并根据我们的时间表衡量进度。onespin 的 portablecoverage 在开放式验证流程中为我们提供了这种能力，因此我们可以使用来自多个供应商的一流工具。”
介绍便携式覆盖
“形式验证现在是主流流程的一部分，并被许多验证工程师使用，因此它必须与基于仿真的工具集成，”onespin solutions 总裁兼首席执行官 （ceo） raik brinkmann 博士评论道。“工程师需要强大、灵活的流程来快速满足新要求。onespin 的 portablecoverage 提供了将形式无缝集成到高效、面向未来的验证流程中的自由。”
portablecoverage 支持形式和模拟的集成，以实现精确、定量的验证评估和验证进度的全面视图。这最大限度地减少了正式工作和模拟工作之间的重叠，从而减少了整体验证工作。portablecoverage 在覆盖率数据库中集成了正式和模拟覆盖率指标，以统一查看覆盖率状态。
两个新的正式应用程序，验证覆盖率集成 （vci） 应用程序和覆盖率关闭加速器 （cca） 应用程序，使这成为可能。一旦 vci 应用程序将 onespin 的 quantify 覆盖率指标添加到用户的覆盖率数据库中，覆盖率查看器就会显示集成的形式和模拟指标，从而提供覆盖率状态的统一视图。
cca 应用程序可识别无法到达的覆盖点并将其提供给模拟器，从而加速覆盖范围的关闭，同时消除试图命中无法到达的覆盖点的浪费精力。
portablecoverage 还包括 onespin 的验证计划集成 （vpi） 应用程序，该应用程序将 onespin 工具的正式结果注释到验证计划中。集成的形式和模拟结果提供了验证计划的全面视图。它还通过提供跟踪验证结果与设计规范的链接来确保工程师满足严格的安全标准。
quantify app 使用正式的基于模型的变异覆盖来准确评估断言质量和完整性。覆盖数据可以与传统的结构覆盖度量集成。
onespin 的所有应用程序都利用了 onespin 360 dv-inspect 和 onespin 360 dv-verify 产品提供的形式验证技术。
宁德时代宣布投资290亿元在三地同时扩产
电动汽车电机与普通电机的7点区别
八核8K瑞芯微旗舰级RK3588核心板
第二十三届中国国际工业博览会圆满收官
储能迎迅猛发展期 多个场景需求向好
OneSpin的PortableCoverage解决方案进行验证
智能化妆镜将告诉我们它是如何引领美妆潮流的
软件性能测试经常关注的指标
iPhone 6透明屏的应用范围有哪些？
数字示波器DS70000系列介绍
Uber自动驾驶事故原因解析_自动驾驶事故还有哪些
光伏直流电能计量表在加拿大光伏系统中的应用
高压环网柜的常见故障类型以及预防措施
Oppo Find X2 Pro带来沉浸式听觉体验
格林美逾54亿纵深三元前驱体全球布局
农用自动供水器电路图(2)
研华隆重举行物联网创新应用论坛“共创物联世界，洞见智能未来”
全球首款轻量级机械臂已经出现了！
【新专利介绍】一种能够进行自动检测的燃气表
英特尔9系芯片组或不兼容Haswell处理器