课程名称: 数字集成电路与系统设计(ASIC设计)     本讲内容:验证方法学入门1