第九章功能验证.pptVIP

第九章 功能验证 Outlines What is Verification? Problem and Trend of Function Verification HW/SW Co-verification Emulator based co-verification ESL design tool based co-verification Assertion Based Verification (ABV) What is Verification? Design concept verification (functionality verification) Does the behavioral idea work as expected? Design implementation verification Does the physical design behave as expected? Design performance verification How fast the chip can operate correctly? How much power the chip consumes? Fault simulation Will the selected test vector cover design and manufacturing