Chun-Yu Wei

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Space Reduction

Information Visualization

Tree Construction

Logic Synthesis

Top Venues

Publications

Chun-Yu Wei, Jie-Hong R. Jiang
Don't-Care Aware ESOP Extraction via Reduced Decomposition-Tree Exploration. DAC (2023)
Tian-Fu Chen, Chun-Yu Wei, Jie-Hong R. Jiang
VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion. QCE (2023)
Chun-Yu Wei, Yuan-Hung Tsai, Chiao-Shan Jhang, Jie-Hong R. Jiang
Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification. DAC (2022)