基于SCSD的SoC原型验证流程与Handel-C实现

"SoC原型验证技术的研究着重于解决在SoC设计中验证的复杂性和效率问题。随着SoC设计的复杂度不断攀升，缩短产品上市时间变得至关重要。传统的基于逻辑模拟的验证方法对于处理包含大量硬件模块和复杂内嵌软件的SoC来说，已显得力不从心，特别是在进行软硬件协同验证时，模拟所需的时间过长。 文章提出了一种基于软件编译式系统设计（SCSD）的SoC原型验证流程。这一流程利用Handel-C语言来描述SoC原型，以提高描述效率，并直接在专门的原型验证硬件上实现。通过SCSD的软件工具，配合RC1000和RC200这样的硬件平台，可以构建一个SoC原型验证系统样机。例如，该方法在样机上成功验证了Lena图像处理SoC的原型。 经过反复试验和改进，优化了SoC原型验证流程，并设计了新的原型电路板。这种方法的优势在于，它能够利用FPGA的强大能力快速实现SoC设计的关键硬件模块，同时结合商用芯片处理常规模块，从而提高原型系统的运行速度，减少工作量，降低成本。不过，目前大多数SoC原型仍使用Verilog或VHDL进行描述，这可能导致描述级别低、复杂度高和错误率增加的问题。 快速系统原型验证技术是应对SoC验证挑战的关键，它将硬件原型与软件原型相结合，通过硬件上的实际运行实现软硬件协同验证。这一技术依赖于先进的FPGA和强大的设计描述及编译工具。系统硬件由定制的FPGA并行系统构成，用于实现SoC设计中的核心模块，而常规模块则由商业芯片承担。软件编译器将设计和验证环境转换为适应硬件的形式，运行程序则采用C-API编程，提供灵活的软件结构以支持后期集成。 SoC原型验证技术的研究旨在通过创新的方法和工具提升验证效率，应对SoC设计中的挑战，加速产品上市进程。通过采用如Handel-C这样的高级语言和SCSD技术，可以更高效地描述和验证复杂的SoC设计，为SoC开发者提供更有效的验证策略。"