几年前,在租用一辆车一个事件我要参加,租赁人指出,我的驾照已经过期了几个月前。所以他不租我的车。我的妻子在救我的时候,但是我决定推迟一天我的离开,以避免被没有执照的风险。这意味着紧急前往车管所。
我发现我可以迅速得到许可,但我不得不采取笔试为了这么做——我没有采取(或研究),因为我是一个少年。没有准备,我去回答问题,知道这些测试的片状,合法,担心我的驾驶能力在于平衡。
我不记得数字是什么,但你不允许错过很多。我错过了太多。我被问到的问题,有一个特别的引人注目:
“在下面哪个地方是不可以停车吗?”
我不记得的两个答案(他们显然不是它),而另外两名则被:
“在一个停车位有条纹线”
“在自行车道”
现在,我无法找出一个停车位的条纹是——我想不起来曾经见过,自从我几十年没读过这本手册,选择包围着我。但我相当确定你不能公园自行车道,这很好,因为这意味着它答案是,我不必担心另一个。
错了。
事实证明,条纹的停车位是地区的残疾人停车场旁边标记了轮椅有回旋余地。对我来说,这是“不是一个停车位,”不过是一个地域面积条纹了,以免被混淆为停车位。这不是“条纹的停车位。“好吧,这不是DMV如何看到它。
年级的幸运的是,当我说,我说,“但是你不能公园自行车道,你能吗?”她着重同意了,“哦,不。“所以,保佑她的心,她给了我。,我开车走了。合法的。
但它提高了测试复杂的事情。当失败时,它并不总是显而易见的问题是什么。你唯一知道的是,有一个问题。在这种情况下,有三个可能的来源的问题:
- 这个问题可能是错误的或模棱两可的
- 答案的关键可能是不正确的
- 我可能得到错误的答案
你可以测试你的芯片设计验证周期。你提出问题通过testbench刺激设计看看它给回答。你使用断言作为答案关键国旗当答案是错误的。大概,如果有一个错误的设计,它会被识别。
就像DMV的测试中,当一个答案是错误的,它实际上可能是一个迹象表明三件事之一:
- testbench问题
- 断言问题
- 问题的设计
调试的每个实例一个断言发射会变得非常烦人。和它可以完全令人难以置信的复杂的断言和/或逻辑。为了应对这一挑战,新公司名为Vennsa发起了一个工具叫OnPoint应该为你做大量的调试工作。
从理论上讲,这种自动化调试是很容易的。你把锥的影响和扰乱因素,看看会发生什么。和你扰乱所有组合(排列,如果重要)并检查结果。和任何观察到的失败成为候选人的根源问题,理解问题可以在testbench或断言以及设计。
这工作很好如果你有世界上所有的时间去探索这个爆炸的解空间。我们大多数人不。Vennsa带来了什么方显然是一种聪明的方式,将解空间是容易处理的。结果通常是十几个根源嫌疑人每问题。
这些嫌疑人排名。Vennsa有很多注意事项,进入排名(他们不能抵挡诱惑比较Google——我相信风投们喜欢的东西,因为你不得不说“…的谷歌”或“eBay…”或类似的东西来吸引他们的注意)。例如,在一个直观的奥卡姆剃刀的逆转,他们排名更复杂的犯罪嫌疑人高于简单的。换句话说,如果问题是复杂的,不过更有可能的是,那里有错了。
然后,随着每一个怀疑,建议修复,通过波形提出。这些修正已经审查,保证他们做任何不会引起其他断言以及模拟轨迹失败。这部分可以避免一个鼹鼠问题解决导致另一个问题。但是它不会消除需要re-verify整个设计以保证修复后没有螺丝了更远的东西。
修复建议可能涉及testbench,断言,或者设计。它不是简单地认为,仅仅因为断言解雇,这的确是一个问题的设计。
他们完成所有这些技术的组合,包括描述,正式的(约占80%),以及解决坐二叉决策树,和其他计算有关的秘密。他们可以使用各种各样的模拟器和正式的验证路径工具。这些工具测试设计;OnPoint工具测试错误。
在一个完美的世界中,测试总是更加清晰和明确,答案钥匙总是正确的,考生是唯一未知。实际上,在一个真正完美的世界中,考生也有完美的测试知识和永远不会失败。但我们并不是生活在那个世界(查克·诺理斯,但是没有人做)。鉴于不幸的现实,Vennsa希望帮助管理的挑战是找出出现错误时出错了。
现在…他们是否能带来以车管所,嗯,这是一个不同的问题…
更多信息:Vennsa
