[an error occurred while processing this directive]
首頁
資訊
資料
學生
資源
求助
討論
English
教授
助教
排程及教室
大綱
講義
作業與實驗
論文報告
課程專案
學生名單
學期成績
SGM 模型檢驗工具
Cadence SMV 模型檢驗工具
其他驗證工具
CAV Related Sites
驗證著作
台大電機 CAV 課 (92年上學期 王凡教授)
台大電機 CAV 課 (92年上學期 顏嗣鈞教授)
正規方法網站
寫信給教授
聯絡資訊
網站答客問
Computer Aided Verification
Teaching Assistant
Names
E-mails
Phone
Room
林尚威
lsw92@cs.ccu.edu.tw
23125
305