数字系统设计及VHDL实践专题一专题一 模拟验证与形式验证模拟验证与形式验证模拟验证与形式验证模拟验证与形式验证学习目标：学习目标：主要学习主要学习模拟验证的模型模拟验证的模型和和算法算法问题，包括问题，包括逻辑模拟算法逻辑模拟算法和和VHDL模拟模拟算法算法。要求深入掌握逻辑模拟的概念、模型与算法，掌握。要求深入掌握逻辑模拟的概念、模型与算法，掌握VHDL模拟的基本模拟的基本思想，了解思想，了解VHDL进程模拟算法进程模拟算法与与层次式模拟算法层次式模拟算法。难点重点：难点重点：1.模拟验证概念与模拟过程模拟验证概念与模拟过程2.逻辑模拟模型逻辑模拟模型3.事件驱动模拟算法事件驱动模拟算法4.VHDL模拟模型模拟模型5.进程模拟算法进程模拟算法模拟验证与形式验证模拟验证与形式验证本章主要内容：本章主要内容：一、模拟验证一、模拟验证1.1模拟验证概述模拟验证概述1.2逻辑模拟算法逻辑模拟算法1.3VHDL模拟模拟二、形式验证二、形式验证模拟验证概述模拟验证概述1.验证的重要性验证的重要性2.三种验证方法三种验证方法3.模拟系统的构成模拟系统的构成4.逻辑模拟过程逻辑模拟过程验证的重要性
