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

课程和课程模块弥合验证差距Michael S.Hsiao(首席调查员)SanDeep K.Shukla(Co-Pi)董世华(Co-Pi)Joseph G.tront(Co-PI)弗吉尼亚理工大学Blacksburg，VA 24061hsiao@vt.eduAbstra这项研究的目的是将验证主题整合到本科生和研究生课程的课程中。在本科阶段，将强调验证概念和策略，学生将获得成为一名有效的设计师和验证工程师所需的技能。在研究生阶段，课程将侧重于为验证设计提供越来越有能力的算法和方法的理论和实施。在这两个层面上，都将强调可验证性设计、分级验证(正式和半正式)和基于覆盖面的分析。将开发课程模块和课件，并通过互联网提供。这项建议的具体任务包括：(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.