NTU Theses and Dissertations Repository: Browsing DSpace

Browsing by Advisor Chung-Yang Huang

Jump to: 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
or enter first few letters:

Showing results 1 to 16 of 16

Publication Year	Title	Author(s)	Department
2025	PSPACE 完備運動規劃之形式方法：以倉庫番為案例研究 Formal Methods for PSPACE-Complete Motion Planning: A Sokoban Case Study	劉虹伶; Hung-Ling Liu	電機工程學系
2025	以一體化包立旋轉合成法降低基於運算表之量子電路最佳化流程中之雙量子邏輯閘增量 Unified Pauli-Rotation Synthesis for Relieving CX-Count Overhead in Tableau-Based Quantum Circuit Optimization Flow	郭亦翔; Y i-Hsiang Kuo	電子工程學研究所
2024	利用 NPN 等效電路匹配進行工程改變命令補丁最小化 Functional ECO Patch Minimization by NPN-Equivalent Circuit Matching	李彥儒; Yen-Ju Lee	電子工程學研究所
2023	利用Qsyn實作ZX-calculus對量子電路的動態優化 Dynamic Quantum Circuit Optimization by ZX-calculus using Qsyn	呂承樺; Cheng-Hua Lu	電機工程學系
2024	利用可滿足性問題證明核心生成的合格校正點進行工程改變命令補丁優化 ECO Patch Optimization by Rectification Point Qualification with SAT Proofs	許祐綾; Yu-Ling Hsu	電子工程學研究所
2023	利用突變分析認證功能驗證環境以增強基於模擬的驗證流程 Enhancing Simulation-Based Verification Flow by Mutation-Analysis Driven Qualification of Functional Verification Environment	羅奧文; Arvind Singh Rathore	電子工程學研究所
2024	利用約束測試模式和斷言驗證進行 RTL Bug 自動定位 Automatic RTL Bug Localization by Constrained Pattern Generation and Assertion Validation	陳孟宏; Meng-Hung Chen	電子工程學研究所
2024	工程改變命令補丁生成的最佳矯正點選擇 Optimal Rectification Point Selection for Functional ECO Patch Generation	童子瑜; Tzu-Yu Tung	電子工程學研究所
2023	序列特定目標識別和正規證明在系統層級設計中的錯誤路徑生成 Bug Trace Generation by Sequential Waypoint Identification and Formal Proof for System-Level Designs	林嘉豪; Jia-Hao Lin	電子工程學研究所
2024	改進基於 ZX 圖之量子電路最佳化流程中之雙量子位元邏輯閘萃取技術 Improving Double-Qubit-Gate Extraction in ZX-Diagram-Based Quantum Circuit Optimization	鄭謹譯; Chin-Yi Cheng	電機工程學系
2024	用於開發設計驗證演算法的通用驗證框架 A General-purpose Verification Framework for the Development of Design Verification Algorithms	邱浤竣; Hung-Chun Chiu	積體電路設計與自動化學位學程
2025	符合 3Dblox 標準之三維積體電路黑盒子階段設計框架與電源分配網路可行性分析 A 3Dblox-Standard Compliant 3D-IC Design Framework with Blackbox-Stage Power Delivery Network Feasibility Analysis	隋中彧; Zhong-Yu Sui	電子工程學研究所
2025	符合 3Dblox 標準的基於有限元素法（FEM）的三維積體電路 (3D-IC) 熱模擬框架 A 3Dblox-Standard Compliant FEM-Based Thermal Simulation Framework for 3D-IC Designs	王瀞桓; Ching-Huan Wang	電機工程學系
2025	自適應多時間框架的性質導向可達性演算法 An Adaptive Multi-Timeframe Property Directed Reachability Algorithm	陳韋旭; Wei-Hsu Chen	電機工程學系
2023	透過順序設計映射進行 RTL Bug 定位 RTL Bug Localization via Sequential Design Matching	莊博翰; Bo-Han Chuang	電子工程學研究所
2022	針對以React.js框架開發的網頁服務設計進行自動化靜態測試 Automatic Static Testing for Web Designs on React.js Framework	王星蘋; Hsing-Ping Wang	電子工程學研究所

Showing results 1 to 16 of 16