講師群

Thompson在應用工程領域擁有豐富的數位設計驗證經驗。擔任Synopsys應用工程師期間，他深入研究formal應用，涵蓋布林等價、時序等價及交易等價等領域。具備使用C或C++模型作為參考模型進行驗證的能力，並曾成功重新編寫C++模型使其更接近硬體行為，確保收斂性。Thompson在數位設計驗證方面有顯著成就，包括通過形式驗證發現浮點單元算術IP塊中的設計錯誤。此外，更在DPV項目中表現傑出，協助完成Mediatek的FFT項目並在VC Formal全體會議上受到表彰，專業知識和經驗在業界廣受認可。

 

專長