瀏覽 的方式: 作者 Chung-Yang Huang
顯示 1 到 6 筆資料,總共 6 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
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 | 電子工程學研究所 |
2023 | 序列特定目標識別和正規證明在系統層級設計中的錯誤路徑生成 Bug Trace Generation by Sequential Waypoint Identification and Formal Proof for System-Level Designs | 林嘉豪; Jia-Hao Lin | 電子工程學研究所 |
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 | 電子工程學研究所 |