模型检验方法与数字电路教学的结合

数字电路是电子相关专业中一门重要的专业基础课.模型检验是一种先进的形式化方法,可用于数字电路设计的验证.本文使用模型检验工具,针对时序逻辑电路设计是否具有自启动能力,给出了一种新的教学方法.应用实例表明该方法具有运算速度快、自动化程度高、结果显示明确的优点,可以提高学生对时序逻辑电路设计的理解和兴趣.