DVLab 設計驗證實驗室隸屬於國立臺灣大學電機工程學系，由黃鐘揚教授主持。研究聚焦於形式化驗證、量子電路合成與最佳化、以及電子設計自動化（EDA），並在 ICCAD CAD Contest、DAC、DATE、QCE 等國際競賽與會議屢獲佳績。
由黃鐘揚教授領導，成員涵蓋碩士生、博士生與專題生，研究方向涵蓋形式化驗證、量子計算與 EDA。
實驗室在 ICCAD CAD Contest、DAC、DATE、QCE 等頂尖會議與競賽中屢獲佳績，並持續發表高品質論文。
歡迎對驗證、量子電路與 EDA 有興趣的學生加入，也歡迎學界與業界合作交流。
