English  |  正體中文  |  简体中文  |  总笔数 :2826208  
造访人次 :  31899699    在线人数 :  1497
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR

浏览

消息

著作权

相关连结

"r c y huang"的相关文件

回到依作者浏览
依题名排序 依日期排序

显示项目 1-4 / 4 (共1页)
1 
每页显示[10|25|50]项目

机构 日期 题名 作者
臺大學術典藏 2018-09-10T07:42:21Z Solving Constraint Satisfiability Problem for Automatic Generation of Design Verification Vectors R.C.-Y. Huang; K.-T. Cheng; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T07:08:52Z Libra - A Library-Independent Framework for Post-Layout Performance Optimization R.C.-Y. Huang; Y. Wang; K.-T. Cheng; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T07:08:52Z A New Extended Finite State Machine (EFSM) Model for RTL Design Verification R.C.-Y. Huang; K.-T. Cheng; CHUNG-YANG HUANG
臺大學術典藏 2018-09-10T03:50:38Z Using Word-Level ATPG and Modular Arithmetic Constraint-Solving Techniques for Assertion Property Checking R.C.-Y. Huang; K.-T. Cheng; CHUNG-YANG HUANG

显示项目 1-4 / 4 (共1页)
1 
每页显示[10|25|50]项目