电子工程专辑
UBM China

SpringSoft推出Certitude功能验证品管系统最新版本

上网日期: 2010年03月04日 ?? 我来评论 字号:放大 | 缩小 分享到:sina weibo tencent weibo tencent weibo


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友

关键字:IP? SoC? 自动化? 侦错系统?

SpringSoft(SpringSoft, Inc.)日前发布Certitude功能验证品管系统最新版本,拥有功能强大的方法与易于使用的优势。Certitude系统运用独家自动化技术消除验证不确定性,并加速复杂IP与系统芯片(SoC)设计的功能收敛。这种自动化技术能够确保验证环境的完整性并找出可能纵容bug肆虐的安全漏洞

Certitude系统中崭新的优先顺位式侦测技术让工程师们能够迅速找出和修理最严重的问题,使仿真与CPU资源的运用优化。这种优先顺位式作法让使用者能够更早而且更频繁地执行Certitude系统,为验证环境提供快速的改善,并指导测试与检查程序的开发。

新版软件也具备与本公司屡获佳绩的Verdi自动化侦错系统整合的简化设定与按钮,以增强可视化、源代码追踪和分析结果的理解。这些功能提供更顺畅、更高度自动化的验证品管流程,让工程师们更容易改善内部IP的验证、评估第三方IP的质量以及进行SoC验证环境的品管工作。

SpringSoft产品营销处长George Bakewell表示:“由于验证环境变得比设计本身更复杂,功能验证品管套用自动化突变技术获得验证品管的客观数据。最新版Certitude让这种做法更上层楼。先进侦测技术、智能型作业与渐进式使用模型的强力组合,让更广泛的用户与验证应用软件都能享受绝佳的功能验证品管。”

详尽的白皮书说明功能验证品管技术的演进以及最佳实务的应用,请至SpringSoft网站查询和下载:www.springsoft.com/whitepapers/functional-qualification

更早、更快速的故障侦测方法

SpringSoft研究发现,某些人为投入到RTL程序代码中的故障会揭露验证中的重大漏洞,并产生更容易分析的结果。在最新版的软件中,运用多年来研究并依据数千次Certitude执行结果所开发的规则,将故障分割成许多优先排序的个案。然后按照优先顺位自动品管,优先揭露最大的弱点并尽早提供改善整体验证环境的建议。

这些优先顺位算法提供了有效率的渐进式执行方法——执行功能验证品管、修理问题然后重新执行——自动累积长时间的品管数据,以驱动测试开发与检查程序的产生。早期侦测到的故障不必重新品管,除非相关的RTL程序代码改变,节省宝贵的时间与耗用资源。

完善整合使结果分析更容易

最新版系统包括一个新的工具程序,可自动产生编译妥当可供Verdi系统使用的Certitude配置文件。这个工具程序巧妙地运用SpringSoft知识数据库(KDB),建立能够由Certitude使用者修改的样板,以提供更详细且微调的参数。直觉式报表提供故障状态信息,并显示故障在哪里投入到RTL程序中。

此外,新增连接到Verdi环境的按钮,使分析与侦错流程更容易。对于任何未发现的故障,信号数据可以批次转换成为SpringSoft的FSDB (Fast Signal Database) 格式,然后由Verdi系统显示波形。工程师能够比较有缺陷和完美设计的结果、标示差异,然后自动跳跃到相关源代码,以便运用Verdi系统的结构式分析与追踪功能,进一步调查和侦错。







我来评论 - SpringSoft推出Certitude功能验证品管系统最新版本
评论:
*? 您还能输入[0]字
分享到: 新浪微博 qq空间
验证码:
????????????????
?

关注电子工程专辑微信
扫描以下二维码或添加微信号“eet-china”

访问电子工程专辑手机网站
随时把握电子产业动态,请扫描以下二维码

?

5G网络在提供1Gbps至10Gbps吞吐量方面具有很好的前途, 并且功耗要求比今天的网络和手机都要低,同时还能为关键应用提供严格的延时性能。本期封面故事将会与您分享5G的关键技术发展,以及在4G网络上有怎样的进步。

?
?
有问题请反馈
推荐到论坛,赢取4积分X