简介

开发新的 FPGA 和 ASIC 设计要求实现新算法，这对算法开发者、硬件设计师和验证工程师提出了验证挑战。

本电子书将探讨硬件设计验证的不同方面，并说明如何使用 MATLAB^® 和 Simulink^® 减轻开发工作量和提高质量，包括：

• 在更高的抽象层次上执行更多验证
• 在 FPGA 开发板上进行硬件测试，以重用算法开发的测试平台
• 从 MATLAB 和 Simulink 生成测试平台组件，以用于生产验证环境
• 对模拟/混合信号设计进行自上而下的设计和验证
• 采用支持 DO-254 和 ISO 26262 认证流程的工作流，以支持功能安全需求