学习容错硬件验证中的正式解决方案，确保在所有相关操作条件和故障场景下可预测的硬件行为。
从前，硬件功能验证就是确保电路在所有合法输入刺激下都能执行指定的功能。但是今天，仅仅对硬件设计的正确性有信心是不够的。包括汽车、医疗和航空航天在内的多个行业都依赖安全关键硬件来保证人们的安全。其他系统，例如，在难以到达的设备、数据中心和存储应用中，也可能需要容错电子设备。容错硬件开发不再是一个小众领域，而是提出了新的挑战。为了在复杂的片上系统(soc)中集成和验证多种安全机制，工程师们面临着一项艰巨的任务，必须检查他们设计的无数错误变体。本白皮书探讨了容错硬件验证的主要目标和挑战，并提出了正式的解决方案，以确保在所有相关操作条件和故障场景下可预测的硬件行为，同时节省工程和计算资源。
点击在这里阅读更多。
|
|
|
|
|
|
|
|
留下回复