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