EDA理论技术基础 课件Ch6.形式验证.pdf

形式验证概述

什么是验证:对设计错误的寻找过程

•在设计过程中,或者设计完成后,成品前。

•对象:软件,硬件,协议。

•是一个成本相对较低的过程(与测试相比)。

形式验证概述

造成VLSI设计返工的各种因素

DEsignRe-spins

7

logic/functional

文档评论(0)

1亿VIP精品文档

相关文档