Whatisverification
l Verification 的过程
– Verification过程就是保证Transformation前后一致性的过程。
– Verification只能证明存在错误，不能证明不存在错误。
– Verification的结果宁愿为false-negative，避免为false-positive。
l false-negative：testbench报告的错误在设计中不存在。
l false-positive：报告设计中的错误为正确。
transformation
Verification
Specification
RTLcode等
RTLcoding
Gate_levelnetlist等
Startpoint Theresult
评论0