式对芯片的逻辑功能进行验证。功能验证的重要性丝毫不亚于集成电路设计，对于现代的超大规模集成电路，这一步骤在整个设计周期中将花费相当的时间和金钱。为了应对芯片极高的复杂程度，类似SystemVerilog、SystemC、e验证语言和OpenVera的硬件验证语言逐渐变得流行。在验证阶段，系统软件的程序错误可以被反馈到设计人员那里，以便进行针对性的修正。工程师通常会使用精心设计的仿真器或者在通用的现场可编程逻辑门阵列（FPGA）上运行程序，来测试之前进行的系统级、行为级（或用另一个术语寄存器传输级，即RT