台大系統晶片中心SOC人才培訓專業講座

課程名稱：嵌入式系統的自動化驗證Automated Verification of Embedded Systems課程日期：94年5月27日星期五（2:00pm~~5:00pm）下午1:30開始報到課程地點：國立台灣大學博理館114教室主講人：電機系王凡副教授

課程說明：Most companies now spend over half of their development budget in verification and testing.　In the near future, only companies with capability to control its verification budget can survive in the acute competition.　In this tutorial, we shall discuss the foundation of automated verification technology and how it could be used in the industry.

課程大綱：1.簡介2.正規系統規格語言3.理論基礎4.資料結構5.演算法6.自動搜尋錯誤的技術7.測試案例的自動產生技術8.model-based的驗證流程1. Introduction, 2. formal specification languages, 3. theory foundations, 4. data-structures, 5. algorithms, 6. procedures for automatically searching for bugs, 7. automatic test case generations, 8. model-based verification process

建議參加對象：軟體工程師、測試工程師、手機廠軟體/測試工程師、家電廠軟體工程師

報名方式：請由台大系統晶片中心網站http://soc.ee.ntu.edu.tw線上報名~)報名截止日期：94年5月23日（星期一）前

費用 ：NT$2,500 (含講義、茶點)【台大系統晶片中心之合作會員廠商，可享有二個人次免費註：若於上課日前繳費未完成不予受理；報名者如不克如期參加，可指派其他人選參加，並請事前通知主辦單位；若因不可預期之突發因素，主辦單位保留課程更改之權利。聯絡方式 : 國立台灣大學系統晶片中心, 台大博理館311室,　歐小姐:(02)2363-5251 ext. 269,　 Email: angieou@video.ee.ntu.edu.tw