VLSI设计与验证课程实验设计探索

J4 ›› 2014, Vol. 36 ›› Issue (A1): 14-17.

VLSI设计与验证课程实验设计探索

陈海燕，唐遇星，陈吉华

（国防科学技术大学计算机学院，湖南长沙 410073）

收稿日期:2013-11-01 修回日期:2014-01-16 出版日期:2014-05-01 发布日期:2014-05-01
基金资助:
十二五高素质新型军事人才培养专业学位研究生课程体系建设项目

Exploration of VLSI design and
verification course project and laboratory

CHEN Haiyan,TANG Yuxing,CHEN Jihua

（College of Computer,National University of Defense Technology,Changsha 410073,China）

Received:2013-11-01 Revised:2014-01-16 Online:2014-05-01 Published:2014-05-01

摘要/Abstract

摘要：

超大规模集成电路设计与验证是计算机科学与技术学科以及电子科学与技术学科专业的核心课程。总结了近几年来该课程教学实践方法。参照国外相关课程经验，不断优化、调整教学内容，以及与之配合的课内实验课和课外课程设计实践，探索了基于虚拟机环境一体化EDA工具为载体的实验环境；为学生课后的自主学习和实验创造了条件。

关键词: 实验, EDA工具, 验证, 虚拟机, 一体化

Abstract:

VLSI design and verification is the kernel course of both the computer science and technology major and the electronic engineering major. The practice methods of this course in recent years are summarized. Consulting the experiences from corresponding courses in other leading universities, the course projects and laboratories have been evolved and optimized with the updated contents. We explore the all-in-one integrated EDA experiment platform based on virtual machine technology. The statistical data shows that this platform improves the capability and possibility for students to complete the project in self-teaching or practice after class.

Key words: experiment;EDA tools;verification;virtual machine;all-in-one

陈海燕，唐遇星，陈吉华. VLSI设计与验证课程实验设计探索[J]. J4, 2014, 36(A1): 14-17.

CHEN Haiyan,TANG Yuxing,CHEN Jihua. Exploration of VLSI design and
verification course project and laboratory [J]. J4, 2014, 36(A1): 14-17.

参考文献［1］

［1］	Jiang Hua, Xu Chen, Song Chao. The teaching method reform for “verilog digital system design” course［J］． Journal of Electrical & Electronic Education，2013,35（1）:8486.(in Chinese)
［2］	Burleson W, Peden J, Leonardo C. Distributed VLSI design education using MOCA:The multimedia online collaboration architecture［C］∥Proc of the 3rd Eurpopean Workshop on Microelecronics Education, 2000:4952.
［3］	MIT OpenCourse.Complex digital systems［EB/OL］. ［20051201］.http://ocw.mit.edu/courses/electricalengineeringandcomputerscience/6884complexdigitalsystemspring2005/index.html.
［4］	Stanford course profile:Introduction to VLSI system［EB/OL］.［20131130］. http://scpd.stanford.edu/search/ publicCourseSearchDetails.do?methodload&courseId=12067.
［5］	Berkeley course information for CC250:VLSI system design［EB/OL］.［20131130］. http://wwwinst.eecs.berkeley.edu/ ~cs250/fa13.info.html.
［6］	ECE ILLINOIS. ECE 425 Intro to VLSI system design［EB/OL］.［20131130］. http://www.ece.illinois.edu/courses/ description.asp?id=84.
［7］	Geogia Tech Courses. Advanced VLSI system ［EB/OL］. ［20131001］. http://www.ece.gatech.edu/academics/courses/ course_outline.php?prmCourse=ECE6130.
［8］	SangiovanniVincentelli A. The tides of EDA［J］. IEEE Design & Test of Computers, 2003, 20(6):5975.
	附中文参考文献：
［1］	蒋华，徐晨，宋超. “Verilog 数字系统设计”课程教学改革［J］．电气电子教学学报，2013,35（1）:8486.

[1]	梁昔明, 史兰艳, 龙文. 基于混合策略改进的蛇优化算法及其应用[J]. 计算机工程与科学, 2024, 46(04): 693-706.
[2]	赵祉乔, 周理, 荀长庆, 潘国腾, 铁俊波, 王伟征 . 软硬件混合的高效CHI协议分析[J]. 计算机工程与科学, 2024, 46(02): 224-231.
[3]	邓茜, 范广生, 陈立前, 李暾, 王戟. 基于C语言程序分析验证技术的Verilog代码验证方法[J]. 计算机工程与科学, 2023, 45(12): 2146-2154.
[4]	刘永梅, 王国辉, 关永, 张景芝, 施智平, 董璐. 格林定理的形式化及其初步应用[J]. 计算机工程与科学, 2023, 45(07): 1178-1187.
[5]	李翊. 基于6U VPX主板的铝基均热板散热性能实验研究[J]. 计算机工程与科学, 2023, 45(06): 987-994.
[6]	白先平, 姚袭欣, 陈香兰, 刘翀, 李曦. 基于时间自动机的AADL端到端流规约验证方法[J]. 计算机工程与科学, 2023, 45(05): 810-819.
[7]	罗莉, 石伟, 何鸿君, 潘国腾, 王蕾, 龚锐. 一种面向IO Die的敏捷验证方法[J]. 计算机工程与科学, 2023, 45(04): 571-576.
[8]	汪铮, 黄容, 吴茂文, 孙寅涵, 孙志刚. OpenEmulator:一种面向TSN芯片验证的联合仿真平台[J]. 计算机工程与科学, 2023, 45(03): 411-419.
[9]	寇广岳, 魏国珩, 平源, 刘鹏. RFID安全认证协议综述[J]. 计算机工程与科学, 2023, 45(01): 77-84.
[10]	王雨露, 李飞, 杨震, 黄山, 张罡, 詹曙, . 基于深度前馈神经网络的多因子人体表面积计算模型[J]. 计算机工程与科学, 2023, 45(01): 119-126.
[11]	陈强, 谭林, 王云丽, 肖靖. 工业区块链中基于CUDA的数据并行处理方法[J]. 计算机工程与科学, 2022, 44(12): 2102-2110.
[12]	牛淑芬, 张美玲, 周思玮, 闫森. 面向移动终端的密文可验证属性基可搜索加密方案[J]. 计算机工程与科学, 2022, 44(11): 1941-1950.
[13]	李辉, 巨鹏锦, 计永兴. 多路系统Cache一致性验证中的错误追踪定位技术[J]. 计算机工程与科学, 2022, 44(07): 1171-1180.
[14]	陈小帆, 杨智杰, 彭凌辉, 王世英, 周干, 李石明, 康子扬, 王耀, 石伟, 王蕾. 一种类脑处理器片上网络的验证框架[J]. 计算机工程与科学, 2022, 44(05): 769-778.
[15]	邹鸿基, 李暾, 罗丹, 方雨德. 面向敏捷硬件设计的符号模拟器设计与实现[J]. 计算机工程与科学, 2021, 43(12): 2098-2104.