高级验证 高级验证英語Highlevel verification HLV或称系统级验证是指在高抽象级别层次对所设计的电路系统进行验证的任务高级验证主要是检验高抽象级别通常在寄存器传输级之上的模型设计是否代表了实际的硬件电路高级验证与高级综合的关系正类似功能验证和逻辑综合的关系 数字电子系统设计已经从低抽象级别即逻辑门级的设计发展到寄存器传输级的设计高于寄存器传输级的抽象层次通常被称为高级或系统级行为算法级 在高级综合里系统的行为算法设计通常以C语言C和SystemC代码等来书写通过高级综合这些代码被转换到寄存器传输级然后再通过逻辑综合转换到逻辑门级的网表功能验证被用来确保寄存器传输级或逻辑门级的硬件表示在功能上与设计目标一致由于逻辑综合工具不断发展大多数功能验证都在寄存器传输级完成而非逻辑门级现在逻辑综合工具已经足够可靠因此人们不像以前那样重点关注从寄存器传输级描述到逻辑门级的转换过程的功能验证 时至今日高级综合仍然是一种新兴技术目前高级验证有两个重要的研究领域 保证高级综合的翻译过程的正确性通常通过形式验证的方式进行 保证用C语言CSystemC代码书写的设计与预期目的符合这一步通常用计算机仿真来完成