本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证...
2007.08
本书由劳动和社会保障部教材办公室、上海市职业培训指导中心依据上海1＋X职业技能鉴定细目——集成电路测试员...
2007.