在uci公告后DAC(稍后我们将讨论分开),我坐下来与导师的一些功能验证的人得到一个更新。报道是他们的议程上的项目作为解决metric-driven验证的一部分。
他们谈话的改变工程心态时评估验证工具。现在工程师倾向于认为的“周期/秒”:你通过这些向量大火的有多快?导师是试图改变思维过程“覆盖/周期”:没关系,每周期需要更长的时间(好吧,其实,他们并没有明确地说——据罗曼·伯格这可能是有点狡猾的领土从营销的角度来看,我不知道是否他们的解决方案是慢的在每个周期的基础上——但我推断…)只要你更快地报道。换句话说,也许一个工具可以通过无数向量压缩在三个小时,但是最好有一个工具,只需要一个half-bazillion向量并完成在两小时内快(慢per-vector基础上,但总体完成)。
的一部分,这是由他们事实上“智能testbench处理。“他们试图解决两个问题,在我看来。首先,有难以州在任何设计;该工具构建一个图形的设计用于识别轨迹。,他们应该能够达成任何可获得的国家最少的向量。这是在测试只是一种状态。
但是他们做的第二件事就是似乎是自己的变化的“旅行推销员”的问题。如何遍历图到达所有节点没有重复路径吗?(典型旅行商问题是不重复任何节点和结束回到你开始)。这个想法是为了得到完全覆盖与尽可能少的向量。这个特别的“覆盖/周期”指标。
这强化了古老的真理,只要有和奖励指标并不一定帮助的事情。很容易有错误的指标——将获得的奖励将支付——而不是改善生活。因为他们错误的指标。
多维距离特征向量之间也许应该修改UMDV: Useful-Metric-Driven验证。当然,那么我们会看到公司争夺这指标是有用的。但这也可以让娱乐查看…