高级验证（），或称系统级验证，是指在高抽象级别（层次）对所设计的电路系统进行验证的任务。高级验证主要是检验高抽象级别（通常在寄存器传输级之上）的模型设计是否代表了实际的硬件电路。高级验证与高级综合的关系，正类似功能验证和逻辑综合的关系。数字电子系统设计已经从低抽象级别，即逻辑门级的设计，发展到寄存器传输级的设计。高于寄存器传输级的抽象层次，通常被称为“高级”，或“系统级”、“行为算法级”。在高级综合里，系统的行为、算法设计通常以C语言、C++和SystemC代码等来书写，通过高级综合，这些代码被转换