自动化的应用推动广泛采用的正式,所以现在更多的工程师寻求成为专家。
谁不喜欢在节日期间一个伟大的家庭照片吗?当然,这些场合呼吁相当优雅的服装。当在聚光灯下,大多数人喜欢更正式。
在世界半导体,似乎这是相反的。作为正式的验证从利基技术主流在过去的几年中,形式验证工程师和他们的工作享受增加关注会议和展会。板、纸演示,甚至整个事件致力于最新的形式验证应用程序比以往任何时候都更普遍。
这一趋势将继续下去。与复杂的电子将触角远远超过电脑,智能手机和网络成为汽车的一个关键区别,衣物,甚至恒温器,需要解决方案启用安全,安全,right-first-time硬件只会增加。
主要自己更加正式的成为人们关注的焦点。
安全至上的设计,特别是汽车,2016年是一个大趋势。持续2017年,丝毫没有放缓的迹象。大公司希望得到一片市场或增加他们的共享布局兼容标准开发的下一代流动。他们正在寻找最好的解决方案的每一块拼图,和pre-silicon验证和验证实在是一个关键。工程团队需要故障模拟器,最快最好的方法插入和验证安全机制,最可靠和知识渊博的合作伙伴,以确保解决方案不会过时,满足安全标准和ISO 26262的要求。
正式的技术是高质量验证的同义词。EDA公司OneSpin杠杆长期关系与关键汽车硬件供应商开发-知道,文档,和额外的技术,包括底层的证明引擎和直观的用户界面,安全至上的硬件地址具体挑战。
涓滴效应的安全性至关重要的趋势是,即使是小型和中型公司没有在正式的知识,而不是在传统的正式的甜点(如模拟和混合信号),开始跟随临界质量。他们投资的是正式的技术和寻找供应商,可以给他们相同级别的大玩家喜欢的关注。
使用正式到达广泛应用得益于自动化应用程序,还有一个反向的趋势,更多的关注给予工程师想成为正式的专家。我们将看到更多的演讲在会议和公共活动集中在先进正式话题。多发生在幕后,包括专门的培训和支持推进设计验证组的功能来获得收益,更少的自动化,expert-led正式可以交付的应用程序。这包括完整的关键模块和IP功能签字。
形式验证达到了业内认可和广泛采用。好消息是,不断增长的需要高质量的硬件,和紧缩的预算和时间的限制,公司将正式在新流从地面-,不再把这种强大的技术作为一种事后插件。
|
|
|
|
|
|
|
|
|
|
留下一个回复