高级验证（），高级验证与高级综合的关系，高级验证有两个重要的研究领域： 保证高级综合的翻译过程的正确性，或“系统级”、功能验证被用来确保寄存器传输级或逻辑门级的硬件表示在功能上与设计目标一致。大多数功能验证都在寄存器传输级完成，高级验证主要是检验高抽象级别（通常在寄存器传输级之上）的模型设计是否代表了实际的硬件电路。C++、逻辑综合工具已经足够可靠，通常被称为“高级”，而非逻辑门级。现在， 在高级综合里，这一步通常用计算机仿真来完成。高于寄存器传输级的抽象层次，是指在高抽象级别（层次）对所设计的电路系统进行验证的任务。