软件会影响硬件的变化。认为过于昂贵硬件更新,所有的问题都可以固定在软件是错误的方法。
安全被认为是重要的在越来越多的市场和应用程序。准则实施的过程用于开发的硬件或软件,但他们似乎忽略的是,既不存在于真空中。放在一起时,他们形成一个系统。
当我还是为硬件软件开发工具co-verification,有相当一致的评论从早期采用者的工具的价值。他们得出的结论是,无论他们如何测试硬件,使用约束随机测试模式生成等技术实现极高的功能覆盖率——他们总是跑软件时发现更多的问题。原因很简单。功能验证测试方便的状态空间。
大多数硬件系统是由小分层的方式组装的状态机。硬件验证集中于确保每个状态机都正确的转换,并且每个州都有输入,每个正确的转换。当你移动的层次结构,将大块的硬件,你开始看组合这些低级的国家机器。但这就是状态和转换的数量变得势不可挡。你不能测试,和你的原因,因为你已经彻底测试所有可能的那些个人机器可以做的事情,他们的结合是最有可能正确的。
当真正的软件运行,测试通常持续数百万或数十亿周期,并将这些状态机进入设置,就不可能短的测试。当软件开始发现问题并进入更大的深的状态空间。问题将被发现,通常情况下,不考虑,或者一个术语是缺少其中的一个过渡语句,或两件事情可以防止事情发生之间的排斥。
长话短说,硬件验证使用约束随机只是冰山的一角,当谈到国家太空探索,和只有软件,可以达到很多。然而,人们想说硬件验证所有的软件。这是不可能给现有的验证过程和工具。
与此同时,我们看到一个趋势领域特定的硬件设计,在实际的软件是异形,然后硬件是专门设计的优化其执行。这是伟大的,它意味着一个实际的场景被全面测试。但是如果软件后变化?它会产生什么样的影响?大多数人会认为它的性能可能会受到影响。优化可能不再适用于相同的学位,或软件可能是优化进一步利用这些特性。但影响这些变化对权力和热吗?他们还考虑吗?你在时间和权力运行回归软件进行更改?可能不会。
我们也看到越来越多的EDA场景驱动的流动。这可以推动几乎所有地区的开发过程更高效的实现。在许多情况下,最好允许利润减少或thermal-aware布局。这些优化软件更改晚些时候也将受到影响。
当我们开始思考衰老,我们知道他们是高度依赖于温度和温度是影响芯片的热特性,包中,董事会和系统。但它也依赖于设备产生的热量,这是影响软件。
软件可以年龄芯片。它可以推动部分的硬件更接近设计利润,它甚至可以导致硬件失败。不过,似乎没有人愿意说,软件需要考虑当进行安全认证,或者硬件必须前项基于更改的软件。这要比运行功能模拟。
如果硬件优化给定的场景定义工作负载预期发展之初,然后没有人分析软件时,系统将如何修改。,几乎由定义将被改变,要么添加功能,支撑安全漏洞,或者只是修复bug的硬件或软件。这是现在所有的事实软件可能需要的硬件部分状态空间它从未进入过。
过去,硬件必须验证一个更高的学位,因为犯了一个错误的成本太高了。创建一个新的面具将花费几百万美元,但多数时候市场窗口的损失要大得多。但是如果系统必须为每个软件变更前项,然后一个软件缺陷的成本快速方法的硬件错误。
意识到这个行业,但很少发生纠正因为处理相关的成本太高了。到目前为止没有高额诉讼费力问题,直到发生更容易为无知。
|
|
|
|
|
|
|
|
|
|
另一个伟大的文章但是基于两个常见的前提,软件和硬件是不一样的,状态机用于测序。状态爆炸在大型复杂的应用程序是一个问题,为什么不去无状态的。平行流程图是无状态的,和事件驱动的。软件流程图合成基质硬件图像的软件流程图。改变软件和硬件的变化。我不认为这个行业一直在寻找这样的东西,他们只是在等待。