龐台銘2009-01-212018-07-062009-01-212018-07-061988http://ntur.lib.ntu.edu.tw//handle/246246/106647en-US整合式超大型積體電路設計系統:設計驗證系統report