ASIC Testing and Verification

Basic issues in testing and verification of ASIC circuits, the verification process used in validating the functional correctness in today's complex ASICs [application specific integrated circuits], the fundamentals of simulation based functional verification, stimulus generation, results checking, coverage, debug, and formal verification, real world verification problems.