關於自動驗證實驗室

What is VERIFICATION ?
直觀來說,驗證指的是檢驗出所有在程式中,在晶片中,或是在系統之中的所有bugs。
Why is VERIFCATION important in the future ?
目前,在開發複雜的系統之中,超過50%的成本是花費在驗證整合之中。然而截至現在,在業界仍然沒有有效的解決軟體與硬體的方案。也因此,驗證所花費的成本在可預期的將然仍然會是居高不下。
在另一方面,在複雜系統中,系統設計,撰寫程式碼,以及系統合成的成本已經有效率的下降到總研發成本的10-20%
由上言之,一間沒有辦法做到以經濟的方法來完成整合與驗證的公司,將會沒有辦法在未來的日子與其他競爭者競爭。許多具有規模的公司,如 Intel, AT&T, Cadence, Synopsys, Ericsson, Motorola, Microsoft, ... 都已經花費大量的資金與人力,投資在驗證的相關技術。
Why is VERIFICATION important for me in the future ?
99%的台灣研究所畢業生,都以設計,寫程式,以及系統合成為工作之重心。也因此99%的學生是以降低10-20%的研發成本為目標而努力。然而中國大陸與印度,在可預期的短暫未來,將擁有薪資低廉與具有同樣能力的工程師。也因此,你在可預期的將來,將受到來自他們的重大挑戰。
藉由參加驗證的相關研究,你將會投資你的未來在那改善50%的生產成本之中,而這是目前台灣學生與業界所欠缺的。