English  |  正體中文  |  简体中文  |  2815992  
???header.visitor??? :  27527843    ???header.onlineuser??? :  620
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"tung sw"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-8 of 8  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
國立交通大學 2014-12-08T15:48:47Z A logical fault model for library coherence checking Tung, SW; Jou, JY
國立交通大學 2014-12-08T15:42:37Z On automatic-verification pattern generation for SoC with port-order fault model Wang, CY; Tung, SW; Jou, JY
國立交通大學 2014-12-08T15:41:53Z An automorphic approach to verification pattern generation for SoC design verification using port-order fault model Wang, CY; Tung, SW; Jou, JY
國立交通大學 2014-12-08T15:41:36Z Automatic interconnection rectification for SoC design verification based on the port order fault model Wang, CY; Tung, SW; Jou, JY
國立交通大學 2014-12-08T15:26:53Z On generation of the minimum pattern set for data path elements in SoC design verification based on port order fault model Wang, CY; Tung, SW; Jou, JY
國立交通大學 2014-12-08T15:26:47Z An improved AVPG algorithm for SoC design verification using port order fault model Wang, CY; Tung, SW; Jou, JY
國立交通大學 2014-12-08T15:26:15Z SOC design integration by using automatic interconnection rectification Wang, CY; Tung, SW; Jou, JY
國立交通大學 2014-12-08T15:26:11Z An automatic interconnection rectification technique for SoC design integration Wang, CY; Tung, SW; Jou, JY

Showing items 1-8 of 8  (1 Page(s) Totally)
1 
View [10|25|50] records per page