負責人
姓名 黃英哲 學校／系所／職稱 中山大學/資訊工程/教授
電話 07-525-2000 ext. 4315 電子信箱 ijhuang@cse.nsysu.edu.tw
研究／教學專長 Computer Architecture, CAD, VLSI, System Software
簡介

IP Verification 是 VLSI IP 設計過程中不可或缺的一環，透過預先設定的 coding rule(nLINT Rule checker)，對 HDL code 進行 coding style check，並建立合適的Testbench ，提高對 HDL code 檢查的 code coverage (VN-cover)，藉以確保設計本身的品質，增加使用者的信心程度。
上課大綱
  • Introduction to IP Verification
  • HDL code quality checking : nLINT rule checker
    • Rule definition
    • nLINT utilizing
  • Testbench development : VN-cover
    • VN-cover : code coverage, FSM coverage
    • Tool utilizing : verification flow, simulation, results analysis
實習大綱
  • 介紹 n-LINT 工具中常用的三十餘種 check rule，說明發生 error or warning 的原因。
  • 介紹 n-LINT 工具的使用方式。
  • 介紹 VN-cover 工具中會對 HDL code 進行的各類 code coverage。
  • 介紹 VN-cover 工具的使用方式。
預期成果
  • 本年度之工作目標 (今年新增設課程)
    • 完成 IP Verification 教材投影片
    • 開授DIP設計概論課程 (92學年度第一學期)