臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

	English \| 正體中文 \| 简体中文 \| 總筆數 :0
	造訪人次 : 51499809 線上人數 : 821 教育部委託研究計畫計畫執行:國立臺灣大學圖書館

搜尋範圍

進階搜尋

登入

管理

臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

關於TAIR
	計畫說明

瀏覽
	典藏機構
	作者
	題名
	日期
	統計圖表
	機構即時統計
	學術趨勢

消息
	2019臺灣學術機構典藏研討會
	機構典藏系統RC7版本已發佈

著作權
	出版社及期刊政策查詢
	TAIR著作權會議記錄

相關連結
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"chung yang ric huang"的相關文件

Return to Browse by Author
Sorting by Title	Sort by Date

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

Institution	Date	Title	Author
臺大學術典藏	2018-09-10T08:18:33Z	To SAT or Not to SAT: Scalable Exploration of Functional Dependency	Jie-Hong R. Jiang;Chih-Chun Lee;Alan Mishchenko;Chung-Yang (Ric) Huang; Jie-Hong R. Jiang; Chih-Chun Lee; Alan Mishchenko; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG; JIE-HONG JIANG
臺大學術典藏	2018-09-10T07:42:21Z	A False-Path Aware Formal Static Timing Analyzer Considering Simultaneous Input Transitions	Shih-Heng Tsai;Chung-Yang (Ric) Huang; Shih-Heng Tsai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T07:42:21Z	A False-Path Aware Formal Static Timing Analyzer Considering Simultaneous Input Transitions	Shih-Heng Tsai;Chung-Yang (Ric) Huang; Shih-Heng Tsai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T07:42:21Z	Interpolant Generation without Constructing Resolution Graph	Chih-Jen Hsu;Shao-Lun Huang;Chia-An Wu;Chung-Yang (Ric) Huang; Chih-Jen Hsu; Shao-Lun Huang; Chia-An Wu; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T07:42:21Z	Interpolant Generation without Constructing Resolution Graph	Chih-Jen Hsu;Shao-Lun Huang;Chia-An Wu;Chung-Yang (Ric) Huang; Chih-Jen Hsu; Shao-Lun Huang; Chia-An Wu; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T07:08:52Z	Improving Constant-Coefficient Multiplier Verification by Partial Product Identification	Chao-Yue (Colby) Lai; Chung-Yang (Ric) Huang; Kei-Yong Khoo; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T07:08:52Z	Speeding Up SoC Virtual Platform Simulation by Data-Dependency Aware Virtual Synchronization	Kuen-Huei Lin;Siao-Jie Cai;Chung-Yang (Ric) Huang; Kuen-Huei Lin; Siao-Jie Cai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T07:08:52Z	Speeding Up SoC Virtual Platform Simulation by Data-Dependency Aware Virtual Synchronization	Kuen-Huei Lin;Siao-Jie Cai;Chung-Yang (Ric) Huang; Kuen-Huei Lin; Siao-Jie Cai; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T06:37:18Z	QuteSAT: A Robust Circuit-based SAT Solver for Complex Circuit Structure	Chi-An Wu; Ting-Hao Lin; Chih-Chun Lee; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T06:37:18Z	QuteIP: An IP Qualification Framework for System on Chip	Hsing-Chih Hung; Chi-Wen Chang; Tin-Hao Lin; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T06:02:51Z	Solving Constraint Satisfiability Problem For Automatic Generation of Design Verification Vectors	Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2018-09-10T04:35:42Z	Non-Assignable Signal Support During Formal Verification Of Circuit Designs	Chung-Yang (Ric) Huang; CHUNG-YANG HUANG
臺大學術典藏	2011-01	A Robust ECO Engine by Resource-Constraint-Aware Technology Mapping and Incremental Routing Optimization	Shao-Lun Huang; Chi-An Wu; Kai-Fu Tang; Chang-Hong Hsu; Chung-Yang (Ric) Huang; CHUNG-YANG HUANG

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