NTU Theses and Dissertations Repository: Browsing DSpace

Showing results 1 to 20 of 21 next >

Publication Year	Title	Author(s)	Department
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; 王宏偉	電機工程學研究所

Showing results 1 to 20 of 21 next >

DSpace JSPUI

DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets

Browsing by Advisor 黃鐘揚(Chung-Yang (Ric)