Skip navigation
DSpace
機構典藏 DSpace 系統致力於保存各式數位資料(如:文字、圖片、PDF)並使其易於取用。
點此認識 DSpace
English
中文
瀏覽論文
校院系所
出版年
作者
標題
關鍵字
搜尋 TDR
授權 Q&A
幫助
我的頁面
接受 E-mail 通知
編輯個人資料
NTU Theses and Dissertations Repository
瀏覽 的方式: 作者 黃鐘揚(Chung-Yang (Ric)
跳到:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
或是輸入前幾個字:
排序方式:
標題
出版年
排序方式:
升冪排序
降冪排序
結果/頁面
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
作者/紀錄:
全部
1
5
10
15
20
25
30
35
40
45
50
顯示 1 到 20 筆資料,總共 21 筆
下一步 >
出版年
標題
作者
系所
2013
保證快取同調的錯序執行方法用以快速並準確的模擬多核心系統晶片虛擬平台
Cache-Coherence-Ensured Techniques for Fast and Accurate Out-of-Order MPSoC Virtual Platform Simulation
Hsin-Cheng Lin; 林鑫成
電機工程學研究所
2012
利用以滿足性解法器為基礎的高效邏輯修正技術來達成即時性可修正的現場可程式化邏輯陣列應用
Toward On-the-fly Reconfigurable FPGA Applications by Efficient SAT-Based Logic Rectification Techniques
Po-Kai Huang; 黃柏凱
電機工程學研究所
2017
利用動態時間框架延展增進性質導向可達性技術
Improving Property Directed Reachability Using Dynamic Timeframe Expansion
Cheng-Han Yang; 楊承翰
電機工程學研究所
2012
利用性質導向可達度技術進行正規SystemC設計驗證
Formal SystemC Verification based on Property-Directed Reachability
Kuan-Chang Wang; 王冠璋
電子工程學研究所
2019
利用文意理解與觀察學習遊戲規則
Learning Game Rules by Observing and Text Understanding
Po-Cheng Chu; 朱柏澂
電機工程學研究所
2016
利用時態分解技術增進性質導向可達性技術
Improving Property Directed Reachability with Temporal Decomposition
Ming-Jen Yang; 楊明仁
電子工程學研究所
2009
利用決策過程產生內插邏輯之演算法:一個嶄新的布林電路重新合成技術
Decision-Based Interpolation Generation Algorithm:A Novel Boolean Circuit Resynthesis Technique
Chih-Jen Hsu; 許智仁
電子工程學研究所
2012
利用高層次設計資訊和不變量自動化萃取技術改進模擬和正規驗證效率
Improving Simulation-Based and Formal Verification Techniques by Automatic High-Level Design Intent and Invariant Extractions
Hu-Hsi Yeh; 葉護熺
電機工程學研究所
2012
利用高階合成技術來進行高階與暫存器轉移階層等效電路驗證
Utilizing High-level Synthesis Techniques in High-level to RT-level Equivalence Checking
Yueh-Tung Chao; 趙悅彤
電子工程學研究所
2019
基於後向切割的等效驗證和工程變更指令演算法之最佳化
Optimizing Backward-Cut-Based EC and ECO Algorithms
Yo-Chi Lee; 李友岐
電機工程學研究所
2010
應用抽象與精細化技術增進RTL電路之安全性屬性檢定效能
Improving Safety Property Checking on RTL Design with Abstraction and Refinement Techniques
Cheng-Yin Wu; 吳政穎
電子工程學研究所
2015
應用模塊分析提升性質導向可達度技術
Enhancing Property Directed Reachability Technique through Cube Analysis
Hong-Syun Jiang; 江弘勛
電子工程學研究所
2014
暫存器轉移階層硬體系統模型檢驗
Model Checking RT-Level Hardware Systems
Cheng-Yin Wu; 吳政穎
電子工程學研究所
2013
朝向SystemC設計之正規驗證
Towards Formal Verification on SystemC Designs
Chun-Nan Chou; 周俊男
電子工程學研究所
2016
眾數反向圖改寫技術在邏輯合成與驗證之應用
Application of DAG-Aware MIG Rewriting Technique in Logic Synthesis and Verification
Li-Wei Wang; 王立為
電子工程學研究所
2018
結合序列與跨型態學習運用在 3D 生醫影像分割
Joint Sequence Learning and Cross-Modality Convolution for 3D Biomedical Segmentation
Kuan-Lun Tseng; 曾冠綸
電機工程學研究所
2011
考慮多重邊界與模式時序限制下利用正規化解決緩衝器置入及尺寸設計問題
A Formal-Assisted Buffer Insertion and Gate Sizing Technique Considering Multi-Corner Multi-Mode Timing Constraints
Man-Yu Li; 李曼鈺
電機工程學研究所
2013
解決SystemC正規驗證中之排程選擇數量爆炸之問題
Conquering the Scheduling Alternative Explosion Problem of Formal SystemC Verification
Chen-Kai Chu; 朱振愷
電子工程學研究所
2011
運用計算統一設備架構實現之平行化布爾可滿足性解法器
Implementation of Parallel Boolean Satisfiability Solver by CUDA (Compute Unified Device Architecture)
Kung-Ming Lin; 林拱民
電子工程學研究所
2014
針對嵌入式系統驗證之抽象化技術
Apply Abstraction Techniques to Embedded System Debug
Hung-Wei Wang; 王宏偉
電機工程學研究所