中文 英语

作者最新文章

EC-FPGA流程的分层验证
通过OneSpin解决方案- 2021年10月27日-评论:0

本文档描述了使用分层网络列表应用EC-FPGA验证的方法。如果总体设计的验证存在收敛问题，建议使用这种方法。该文件包含了不同方法的逐步描述，同时为每种方法的合理性提供了推理。本文假定读者对本文熟悉。»阅读更多

超越Bug搜索:从安全到认证的验证覆盖
通过OneSpin解决方案- 2021年8月4日-评论:0

了解验证覆盖率对于满足IC完整性标准至关重要，并且远远超出了检测设计中的错误。如果没有适当的验证覆盖指标，可能无法达到严格的安全标准和认证。精确的度量可以指出验证中存在的差距，并提供验证工作中所取得进展的清晰视图。有限公司…»阅读更多

验证RISC-V核心的功能、安全性和信任的方法
通过OneSpin解决方案- 2021年7月28日-意见:0

现代处理器设计提出了一些最棘手的硬件验证挑战。这些挑战对于RISC-V处理器核心设计来说尤其严峻，因为它有大量的变体和实现来源。本文描述了一种可用于RISC-V核心提供商和集成这些核心的片上系统(SoC)团队的验证方法。它……»阅读更多

SoC验证从预制到空中更新
通过OneSpin解决方案- 2021年6月30日-评论:0

最近对系统基础设施的新攻击突出表明，如果忽视适当的预防措施，供应链中的硬件漏洞不仅是可能的，而且是不可避免的。整个供应链的验证是必要的，以确保硬件的安全性。开始早在预制阶段，漏洞，如果不加以检查，可以是一个o…»阅读更多

用于硬件保证的自动硅前IP可信度评估
通过OneSpin解决方案- 2021年1月27日-意见:0

OneSpin Solutions & The Aerospace Corporation的Sergio Marchese和John Hallman发表的论文。集成电路设计包括可能包含硬件木马的内部和第三方知识产权。一个独立的、可信的、完整的IP模型，适合于使用商业上可用的IP寄存器传输级别(RTL)代码进行自动化的正式比较。»阅读更多

使用形式化方法验证ISO 26262的安全关键硬件
通过OneSpin解决方案- 2020年12月2日-评论:0

从福特t型车(Ford Model t)的时代开始，汽车技术已经取得了很大的进步。如今的智能汽车不仅可以帮助驾驶员完成停车、车道管理和制动等任务，还可以作为一个家，拥有WiFi热点和复杂的娱乐系统。这些复杂的功能是由于日益复杂的电子系统——这些系统……»阅读更多

半导体ip和ic的信任保证和安全验证
通过OneSpin解决方案- 2020年10月28日-评论:0

联网的自动驾驶汽车、5G网络、物联网(IoT)设备、防御系统和关键基础设施使用ASIC和FPGA soc运行人工智能算法或其他复杂的软件堆栈。易受攻击或被篡改的ic可能危及人员安全以及敏感信息的机密性、完整性和可用性。本文分析了我国的信托制度。»阅读更多

SystemC/ c++验证的形式化解决方案
通过OneSpin解决方案- 2020年9月23日-评论:0

OneSpin Solutions提供其流行的360 DV形式化验证产品线，允许对SystemC/ c++设计表示进行自动检查和完全基于断言的验证。该解决方案扩展了验证功能，可以应用于抽象设计，在SystemC/ c++中编码，用于许多不同的使用模型。本白皮书描述了OneSpin解决方案…»阅读更多

将工具安全合规的负担从用户转移到供应商
通过OneSpin解决方案- 2020年8月5日-评论:0

功能安全标准要求对这种风险进行评估，并通过工具鉴定和其他流程将其充分降低。对于工程团队来说，这是一项耗时的任务，而且令人担忧的是，目前还没有成熟的解决方案。工具供应商可能会提供安全证书或包，试图支持他们的客户安全合规。策略……»阅读更多

基于断言的VIP浮点硬件的形式化验证
通过OneSpin解决方案- 2020年7月29日-意见:2

整数或定点算术的硬件设计相对简单，至少在寄存器传输级别上是这样。如果可以用这些格式表示的值范围和精度不足以满足目标应用程序的要求，则可能需要浮点硬件。不幸的是，浮点单元设计起来很复杂，而且验证起来也很困难。自从…»阅读更多

←老帖子

  • 赞助商

关于

导航

与我们联系

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