CRCD/EI: Curriculum and Course Modules for Bridging the Verification Gap

弥合验证差距的课程和课程模块Michael S. Hsiao（首席研究员）Sandeep K. Shukla（联合项目负责人）Dong S. Ha（联合项目负责人）Joseph G. Tront（联合项目负责人）弗吉尼亚理工大学电子与计算机工程系（弗吉尼亚州blacksburg） 24061hsiao@vt.eduAbstractThe本研究的目标是将验证主题整合到本科和研究生课程中。在本科阶段，验证概念和策略将被强调，学生将获得必要的技能，成为一个有效的设计师和验证工程师。在研究生阶段，课程将强调理论和实施，这将为验证设计提供越来越有能力的算法和方法。在这两个层次中，将强调可验证性的设计、分层验证（正式的和半正式的）和基于覆盖率的分析。将开发课程模块和课件，并通过互联网提供。本提案的具体任务包括：(1)从设计的初始阶段开始，对本科设计项目进行重新设计，使其具有验证意识和以验证为中心；(2)嵌入验证基础来设计课程内容和教学大纲；(3)引入入门级基础研究生课程，涵盖当今技术背后的数学理论和公式；(4)继续开展前沿验证研究，完善知识库；(5)通过大学项目获取开源工具和其他商业验证引擎，整合到课程中；(6)整合课程模块（讲座和项目），并在互联网上提供。这个研究项目的影响不仅包括学生对以验证为中心的设计风格的作用有更深的理解，我们的研究和课件也将减少其他学术和工业教育工作者在许多课程中开发类似材料的需求。最后，通过会议和期刊发表，所获得的知识也将随时可供研究界使用。

Curriculum and Course Modules for Bridging the Verification Gap Michael S. Hsiao (Principal Investigator)Sandeep K. Shukla (Co-PI)Dong S. Ha (Co-PI)Joseph G. Tront (Co-PI)Department of Electrical and Computer EngineeringVirginia TechBlacksburg, VA 24061hsiao@vt.eduAbstractThe objective of this research is on integrating verification topics to the curricula, for both undergraduate- and graduate-level curricula. At the undergraduate level, verification concepts and strategies will be emphasized where students will acquire the necessary skills to be an effective designer and verification engineer. At the graduate level, the curriculum will emphasize on the theory and implementation that will supply increasingly capable algorithms and methodologies for verifying designs. In both levels, design for verifiability, hierarchical verification (formal and semi-formal), and coverage-based analysis will be stressed. Course modules and courseware will be developed and made available via the Internet. The specific tasks for this proposal include the following: (1) re-design the undergraduate design projects such that they become verification-aware and verification-centric, starting from the initial phases of the design; (2) embed verification fundamentals to design courses content and syllabi; (3) introduce an entry-level foundations graduate course that covers mathematical theories and formulations behind today's technology;(4) continue cutting-edge verification research to advance the knowledge base; (5) acquire open-source tools and other commercial verification engines through University programs to integrate into the curricula; (6) integrate course modules (lectures and projects) and provide them on the Internet. The impact of this research project not only includes students with a deeper understanding of the role of verification-centric design style, our research and courseware will also reduce the need for other academic and industrial educators to develop similar material across the many courses. Finally, with publications via conferences and journals, the knowledge acquired will also be readily available to the research community.