作者的最新文章

信任半导体ip和ICs的保证和安全验证
通过OneSpin解决方案——4月22日,2020 -评论:0

连接自动车辆,5 g网络,物联网(物联网)设备、防御系统,关键基础设施使用ASIC和FPGA soc运行的人工智能算法或其他复杂的软件栈。脆弱或干扰ICs可以妥协的安全人员和机密性,完整性和可用性的敏感信息。本文分析了信任…»阅读更多

ISO 26262:2018故障分析安全机制
通过OneSpin解决方案- 11月25日,2019 -评论:0

作者:Jorg Grosse1马克•Hampton1塞尔吉奥•Marchese1 Jorg Koch2,尼尔·Rattray1 Alin Zagardan2 1 onespin解决方案,慕尼黑,德国2瑞萨电子欧洲,杜塞尔多夫,德国ISO 26262 - 5需要硬件安全指标的确定,包括SPFM和线性调频。潜伏和残余诊断覆盖率也很重要指标来评估安全机制的有效性……»阅读更多

扩展正式连接检查Multi-Billion-Gate soc与规范的自动化
通过OneSpin解决方案- 10月23日,2019 -评论:0

连通性检查是一个受欢迎的形式验证的应用程序。正式的工具可以自动生成断言使用规范表作为输入,并证明他们详尽。基于仿真的验证,另一方面,需要更多的努力,同时提供的一小部分覆盖。然而,芯片复杂性正在迅速增加。asic和fpga为异构c…»阅读更多

保证RISC-V核心和soc的完整性
通过OneSpin解决方案- 8月21日,2019 -评论:0

开放RISC-V处理器架构是动摇的知识产权(IP)和SoC (SoC)的世界。有极大的兴趣和工业活动在进行中。然而,成功RISC-V核心供应商必须验证他们的设计完整性的所有方面:功能正确性,安全,安全,和信任。SOC开发人员评估潜在RISC-V需要检查那…»阅读更多

完整的正式验证的RISC处理器V IPs Trojan-Free信任ICs
通过OneSpin解决方案——6月26日,2019 -评论:0

RISC-V处理器ip越来越被集成到芯片系统设计为各种不同的应用程序。然而,这仍然是一个缺乏专用的功能验证高度集成解决方案支持,信任的集成电路。本文探讨一种有效、新颖,formal-based RISC-V处理器验证方法。RISC-V ISA是形式化的一组操作……»阅读更多

当正确是不够的:容错硬件形式验证
通过OneSpin解决方案- 3月27日,2019 -评论:0

曾几何时,硬件电路功能验证是保证将执行指定的函数在所有法律输入刺激。今天,获得信心,硬件设计是正确的往往是不够的。几个行业,包括汽车、医疗、航空、依靠安全至上的硬件保证人们的安全。其他系统,例如,在……»阅读更多

工具安全合规从用户的负担转移到供应商
通过OneSpin解决方案1月30日,2019 -评论:0

安全、自动车辆的安全性和性能,铁路、航空、核电站和医疗设备依靠电子系统及其硬件组件。工程师利用先进的软件工具来开发复杂的硬件。工具可能故障,产生错误的输出,最终引入或无法检测系统的硬件故障,可能导致有害的电动车……»阅读更多

的兴衰合成在安全至上的fpga的bug
通过OneSpin解决方案12月19日,2018 -评论:0

标准IEC 61508 / ISO 26262 / EN 50128 - 254。fpga的主要硬件平台容量,对安全性要求苛刻的应用程序,包括航空航天,核电站。现代fpga实现高绩效的实现设计与集成的安全机制。这是驱动采用在其他行业,包括汽车。功能安全标准……»阅读更多

设计验证是良好的卫生习惯
通过OneSpin解决方案——7月25日,2018 -评论:0

设计验证与人类卫生习惯有很多共同之处。这两个活动的目标是清除所有污垢,污垢,虫子通过积极建立良好的卫生习惯的过程。如果这个过程是不正确,结果是病毒,感染和其他疾病。良好的验证卫生一样重要的半导体发展人类卫生健康b…»阅读更多

拥抱ISO 26262:高效的紧急安全硬件验证
通过OneSpin解决方案2017年5月- 24 -评论:0

汽车技术已经走了很长的路从福特福特t型车今天的智能车辆不仅协助他们的司机停车等任务,车道管理、和刹车,而且作为家以外的家,WiFi热点和复杂的娱乐系统。所有这些特性已经被日益复杂的电子系统成为可能。欢迎虽然…»阅读更多

←旧的文章 新帖子→

  • 赞助商

关于

导航

与我们联系

版权©2013 - 2023 SMG |服务条款|隐私政策
Baidu