新工具集中在减少非经常工程成本同时减少潜在的bug深处一个设计。
由谢丽尔Ajluni
与死亡和税收一样,在设计时有些事情是不可避免的。一,设计几何图形缩小,设计复杂性将继续增加。另一方面,验证是最耗时和密集的整个设计周期的一部分。
新的工具和方法使设计师工作时通过现有的许多复杂问题设计创新电子产品设计的能力验证结果并没有紧随其后。尽管目前努力改善验证技术,以便能跟上设计创造,一个验证瓶颈依然存在。智能检定或智能testbench-a概念使用设计自动直接测试代提供设计工程师真正突破的希望解决这个问题。但聪明的验证到底意味着什么,它将如何受益今天的设计师吗?让我们仔细看看。
引擎盖下面
许多因素激发兴趣新的验证解决方案,包括需要增加验证信心,跟踪很难达到设计领域和消除测试冗余。实现设计的功能是正确的信心,通常需要验证工程师作出本能的叫它足够的验证已经进行的方法,往往使设计容易受到细菌驻留深处的代码结构和制造后才会被发现。增加设计规模和复杂性也起了重要作用,因为它需要更多的testbench和断言,可以编写一些代码导致冗余测试,而这本身就需要验证。
约束的随机模拟方法提供了一种提高检验质量和时间使用硬件验证语言,但是约束随机测试不能很好地扩展到大型的设计。因为它基地测试生成外部输入,而不是设计结构,覆盖指标和测试输入之间存在脱节,使它不可能从覆盖回测试关闭循环创造。
产品经理马克•克拉导师图形的先进功能验证,指出约束随机测试的另一个问题:“验证工具集集中在约束随机测试生成促进能力生成模拟序列比以往任何时候都多,覆盖更多的设计功能甚至比大验证团队可以测试指导测试序列。但是数量仅就够了吗?实际设计生产力的进步不仅仅是基于生产更多的生门,或更多生的晶体管,仅仅为了数量。他们有来自做事更聪明。是时候为验证更聪明。我们应该创造更多的测试序列?确定,但我们也确保每个测试序列是有用的和测试新的和重要的东西。”
这正是智能验证。功能验证的一种形式,它可以用来制造之前验证设计符合规范。它执行这个任务使用信息来源于设计自动更新测试描述目标设计功能验证,或者已经被现有的测试覆盖。算法模拟序列的自动生成,数据和检查设计的简洁的行为描述的规范。
作为补充约束随机模拟方法,智能验证使用现有的逻辑模拟testbenches,连同设计,自动确定如何最大化覆盖。它还为用户提供了方向,为什么某些报道点没有检测到。这种方法的好处是显著的。智能验证如下:
增加功能模块覆盖,sub-module和系统水平,并找到更多的错误比传统的方法快,进而降低整体testbench编程;
使项目团队能够设计更高层次的信心,实现提高设计质量,大大减少设计资源;
避免了不必要的随机游走的约束随机测试方法找到一个缺陷。相反,它会自动创建新测试跟踪有效跟踪通过设计结构覆盖点,;
确保不浪费验证仿真周期项已经被测试。
虽然已经有大量研究智能检定,商业工具,利用这一概念刚刚开始出现。一个解决方案来自Nusym技术。特定的工具名称尚未被公司,但它声称,与其他方法不同的是,它把设计当作一个“黑盒”或者是不切实际的使用在大型设计,其聪明的方法来验证使用洞察设计自动创建“导演”测试,实现快速验证关闭。
另一个解决方案来自导师图形。它事实上智能testbench自动化工具使用系统的算法快速产生独特,冗余测试用例(图1)。用户开发testbenches通过指定规则编译成图。马克克拉解释说,“事实上关注更多的验证周期,不仅更多的验证周期,给验证工程师能力测试更多的功能,用更少的测试序列。它可以完全消除冗余序列生成在验证过程的早期,实现功能覆盖率超过10倍约束随机测试。在之后的验证过程中,它可以允许不同程度的冗余创建顺序健壮的回归测试套件。”
图1所示。事实上,智能算法用于生成刺激序列,监测结果,确保代冗余序列。
SpringSoft是另一个球员在智能验证市场,尽管该公司更喜欢称它为“验证增强。“最近,SpringSoft收购的确和确定性功能资格系统,它使用“突变分析”技术来设计注入人工错误(错误)检查是否验证环境吸引了他们(图2)。当验证环境没有捕捉到人为的错误,这是一个迹象表明,环境可能会错过一个真正的缺陷在同一地区的设计注入故障。据斯科特•桑德勒SpringSoft美国总统“在SpringSoft我们不要让模拟器;我们制造工具,提高了基于仿真的验证flow-such作为我们的调试工具。我们最近收购的确适合直接进入这一类。”
图2。确信功能资格制度提供了一个整体的评估验证质量,验证环境暴露的漏洞和弱点。
而聪明的验证提供了无数的好处,可能会增加其收养,有挑战,最重要的是,验证工程师或许很沉默改变他们已经做什么,除非他们被迫。不管改变智能验证时,甚至如果这个概念变得司空见惯在电子产品设计行业,验证将不再是一个不太可能最关心的问题。与死亡和税收一样,它将继续保持挑战性的设计师和设计工具提供商。
|
|
|
|
|
|
|
|
|
留下一个回复