以資料路徑為基礎之超大型積體電路暫存器轉移層次描述的驗證與診斷方法
學年 93
學期 1
計畫案開始日期 2004-08-01
計畫案結束日期 2005-07-31
計畫主持人姓名 饒建奇
共同主持人姓名一
共同主持人姓名二
共同主持人姓名三
計畫中文名稱 以資料路徑為基礎之超大型積體電路暫存器轉移層次描述的驗證與診斷方法