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

弥合验证差距的课程和课程模块。Hsiao（主要研究者）Sandeep K. Shukla（共同PI）Dong S. Ha（共同研究者）Joseph G. Tront（合作PI）电气和计算机工程弗吉尼亚理工大学布莱克斯堡，VA 24061hsiao@vt.eduAbstract本研究的目的是整合验证主题的课程，本科和研究生水平的课程。在本科阶段，验证概念和策略将被强调，学生将获得必要的技能，成为一个有效的设计师和验证工程师。在研究生阶段，课程将强调理论和实施，这将为验证设计提供越来越有能力的算法和方法。 在这两个层次中，设计的可验证性，层次验证（正式和半正式），和覆盖率为基础的分析将被强调。 将编制课程单元和课件，并通过因特网提供。该建议的具体任务包括：（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.