林呈祥2009-01-212018-07-062009-01-212018-07-061993http://ntur.lib.ntu.edu.tw//handle/246246/106447en-US自動設計驗證及測試樣本產生report