Chung-Yang (Ric) Huang

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Formal Specification

Constraint Solving

Temporal Properties

Top Venues

Publications

Yu-Neng Wang, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, Chung-Yang (Ric) Huang
Compatible Equivalence Checking of X-Valued Circuits. ICCAD (2021)
Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang
A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (12) (2014)
Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang
Adaptive interpolation-based model checking. ASP-DAC (2014)
Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang
A counterexample-guided interpolant generation algorithm for SAT-based model checking. DAC (2013)
Chun-Nan Chou, Chen-Kai Chu, Chung-Yang (Ric) Huang
Conquering the scheduling alternative explosion problem of SystemC symbolic simulation. ICCAD (2013)
Bo-Han Wu, Chung-Yang (Ric) Huang
A robust constraint solving framework for multiple constraint sets in constrained random verification. DAC (2013)
Bo-Han Wu, Chung-Yang (Ric) Huang
A robust general constrained random pattern generator for constraints with variable ordering. ICCAD (2012)
Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification. TACAS (2012)
Chun-Nan Chou, Yen-Sheng Ho, Chiao Hsieh, Chung-Yang (Ric) Huang
Symbolic model checking on SystemC designs. DAC (2012)
Shao-Lun Huang, Wei-Hsun Lin, Chung-Yang (Ric) Huang
Match and replace - A functional ECO engine for multi-error circuit rectification. ICCAD (2011)
Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang
Property-specific sequential invariant extraction for SAT-based unbounded model checking. ICCAD (2011)
Kai-Fu Tang, Chi-An Wu, Po-Kai Huang, Chung-Yang (Ric) Huang
Interpolation-based incremental ECO synthesis for multi-error logic rectification. DAC (2011)
Ting-Hao Lin, Chung-Yang (Ric) Huang
Using SAT-based Craig interpolation to enlarge clock gating functions. DAC (2011)
Bo-Han Wu, Chun-Ju Yang, Chia-Cheng Tso, Chung-Yang (Ric) Huang
Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques. ICCAD (2011)
Jing-Jia Nian, Shihgeng Tsai, Chung-Yang (Ric) Huang
A unified multi-corner multi-mode static timing analysis engine. ASP-DAC (2010)
Kuen-Huei Lin, Siao-Jie Cai, Chung-Yang (Ric) Huang
Speeding up SoC virtual platform simulation by data-dependency-aware synchronization and scheduling. ASP-DAC (2010)