高级验证 编辑
高级验证，或称系统级验证，是指在高抽象级别对所设计的电路系统进行验证的任务。高级验证主要是检验高抽象级别的模型设计是否代表了实际的硬件电路。高级验证与高级综合的关系，正类似功能验证和逻辑综合的关系。
2