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

李震

首页> 中文期刊> 《科技信息》 >模型检验方法与数字电路教学的结合

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《科技信息》 |2013年第15期|189212|共2页
作者
李震;
展开▼
作者单位

江苏科技大学电子信息学院;

江苏镇江212003;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
数字电路; 模型检验; 教学改革;

相似文献

中文文献
外文文献
专利

1. 结合翻转式学习与探究性学习的数字电路教学方法研究 [J] . . 计算机教育 . 2019,第006期
2. 数字电路教学及实验与FPGA的结合 [J] . 覃洪英 . 科技资讯 . 2008,第015期
3. 基于BOPPPS模型的数字电路教学研究 [J] . 张亚周 ,钟兆根 ,孙雪丽 . 大学教育 . 2021,第006期
4. EBERS-MOLL模型在脉冲数字电路教学中的注记 [J] . 朱龄 . 电气电子教学学报 . 1993,第001期
5. 应用数字图像处理技术处理数字高程模型数据和与数字高程模型数据相结合的遥感信息 [J] . 杨文久 . 国土资源遥感 . 1989,第002期
6. 电路教学与科研案例的结合——以最大功率传输定理为例 [C] . Tan Yanghong ,谭阳红 ,Yin Xin . 湖南省高等院校电子信息技术教学研究会成立25周年纪念暨2015年学术交流大会 . 2015
7. 数字地籍测量中的数据质量检验方法与程序实现探讨 [A] . 杨海军 . 2009

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

摘要

著录项

相似文献

相关主题

期刊订阅