基本素養 Basic Literacy

無

核心能力 Competence

■ 具電機工程相關領域之專業知識。
To possess professional knowledge in the field of electrical engineering.
□ 策劃及執行專題研究之能力。
The ability to plan and carry out a research project.
■ 撰寫專業論文之能力。
To write a professional-quality dissertation.
■ 創新思考及獨立解決問題之能力。
Innovative thinking and the ability to solve problems independently.
■ 跨領域人員協調整合之能力。
Multidisciplinary coordination and integration capabilities.
□ 良好的國際觀以及理解專業倫理與社會責任之能力。
A solid international outlook and the ability to understand professional ethics and social responsibility.
□ 領導、管理及規劃之能力。
Leadership, management and planning abilities.
□ 終身自我學習成長之能力
The ability to learn and develop throughout life.

課程概述 Course Description

隨著複雜且重要功能之系統與軟體設計的快速發展需求，我們非常需要具有高品質保障的驗證方法。本課程重點於介紹正規驗證，將分步介紹其基本理論, 以及如何利用邏輯推理之數學分析於實際應用。
With the needs of rapid developments in complex and functional-critical digital systems and software designs, a well-qualified verification method is eager to have in the real industry. This course focuses on such a verification technology called formal verification, with step-by-step introduction to its fundamental theory and practical applications by using mathematical analysis in terms of logic reasoning.

課程學習目標 Course Objectives

  • 邏輯訓練
  • 邏輯驗證演算法
  • SoC 設計與驗證

    • 課程是否與永續發展目標相關調查
    Survey of the conntent relevant to SDGs

    本課程與SDGs相關項目如下：
    This course is relevant to these items of SDGs as following:
    • 工業、創新與基礎建設 (Industry Innovation and infrastructure)

    有關課程其他調查 Other Surveys of Courses

    1.本課程是否規劃業界教師參與教學或演講? 否
    Is there any industry specialist invited in this course? How many times? No
    2.本課程是否規劃含校外實習(並非參訪)? 否
    Are there any internships involved in the course? How many hours? No
    3.本課程是否可歸認為學術倫理課程? 否
    Is this course recognized as an academic ethics course? In the course how many hours are regarding academic ethics topics? No
    4.本課程是否屬進入社區實踐課程? 否
    Is this course recognized as a Community engagement and Service learning course? Which community will be engaged? No