如何实现高级设计验证

caroline11

高层次综合 (HLS) 将算法模型和可能非时序的设计模型（通常使用 SystemC 和 C++ 语言编写）转换为完全时序寄存器传输级别 (RTL) 设计模块。主要验证要求是在综合之前实现算法代码的彻底验证，目的是确保按照原始规范，对抽象算法实现进行测试和完全优化，同时避免较长的调试周期。