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

Awards


  • year 2018
  • Our team has entered the TOP 10 of Problem A (Smart EC: Program-Building for Name Mapping) of the 2018 CAD Contest at ICCAD.



    Team member

    Graduate Students: Chia-Hao Hsu 、 Chun-Sheng Ke 、 Tien-Yin Cheng
                                               Undergraduate Students: Jhong-Kai Cheng 、 Jia-Xian Chen