CAV Lab
Computer Aided Verification Laboratory | 電腦輔助驗證實驗室

給新生的話 - 找老師之前


  • 給新生的話

  • 歡迎加入本實驗室!


    本實驗室成立於 2016 年 8 月 , 歡迎對 正規方法, 系統安全/資訊安全驗證, CPU驗證, 演算法 有興趣之 專題生、碩士生及博士生加入我們


    最新消息


    • year 2018
    • 2018-09-21
      恭喜實驗室團隊參加2018年ICCAD的CAD競賽獲得前10名的佳績!!
      參賽題目:
      Smart EC: Program-Building for Name Mapping
      參賽同學:
      研究所: 許嘉豪 、 柯春生 、 鄭天胤
      大學部: 鄭中凱 、 陳佳憲
    • year 2017
    • 2017-07-01
      恭喜 108 級研究生 呂明霖 , 吳沛洪 參與 瑞昱半導體實習!!

    實驗室守則


    6 am- 10 pm 嚴禁打電動及任何影響他人專心研究的娛樂行為


    Visitors (since September 1st 2017)


    Flag Counter Flag Counter