Chung-Yang (Ric) Huang

14 papers A* 5A 4Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Robust Qubit Mapping Algorithm via Double-Source Optimal Routing on Large Quantum Circuits.
ACM Trans. Quantum Comput.
Chin-Yi Cheng, Chien-Yi Yang, Yi-Hsiang Kuo, Ren-Chu Wang, Hao-Chung Cheng, Chung-Yang (Ric) Huang
2016 — conf
Automatic abstraction refinement of TR for PDR.
ASP-DAC
Kuan Fan, Ming-Jen Yang, Chung-Yang (Ric) Huang
2014 J jnl
A High-Throughput and Arbitrary-Distribution Pattern Generator for the Constrained Random Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Bo-Han Wu, Chun-Ju Yang, Chung-Yang (Ric) Huang
2014 — conf
Adaptive interpolation-based model checking.
ASP-DAC
Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang
2013 A* conf
A counterexample-guided interpolant generation algorithm for SAT-based model checking.
DAC
Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang
2013 A* conf
A robust constraint solving framework for multiple constraint sets in constrained random verification.
DAC
Bo-Han Wu, Chung-Yang (Ric) Huang
2013 J jnl
An Ultrasynchronization Checking Method With Trace-Driven Simulation for Fast and Accurate MPSoC Virtual Platform Simulation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yu-Fu Yeh, Hsin-Cheng Lin, Chung-Yang (Ric) Huang
2013 A conf
Conquering the scheduling alternative explosion problem of SystemC symbolic simulation.
ICCAD
Chun-Nan Chou, Chen-Kai Chu, Chung-Yang (Ric) Huang
2012 A conf
A robust general constrained random pattern generator for constraints with variable ordering.
ICCAD
Bo-Han Wu, Chung-Yang (Ric) Huang
2012 A conf
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification.
TACAS
Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang
2012 A* conf
Symbolic model checking on SystemC designs.
DAC
Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang
2011 A* conf
Interpolation-based incremental ECO synthesis for multi-error logic rectification.
DAC
Kai-Fu Tang, Chi-An Wu, Po-Kai Huang, Chung-Yang (Ric) Huang
2011 A conf
Match and replace - A functional ECO engine for multi-error circuit rectification.
ICCAD
Shao-Lun Huang, Wei-Hsun Lin, Chung-Yang (Ric) Huang
2011 A* conf
Using SAT-based Craig interpolation to enlarge clock gating functions.
DAC
Ting-Hao Lin, Chung-Yang (Ric) Huang