Che-Hua Shih

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Yi-An Chen, Gung-Yu Pan, Che-Hua Shih, Yen-Chin Liao, Chia-Chih Yen, Hsie-Chia Chang
Embedding Hierarchical Signal to Siamese Network for Fast Name Rectification. DATE (2020)
Chi-Hui Lee, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou
Equivalence checking of scheduling with speculative code transformations in high-level synthesis. ASP-DAC (2011)
Che-Hua Shih, Ya-Ching Yang, Chia-Chih Yen, Juinn-Dar Huang, Jing-Yang Jou
FSM-Based Formal Compliance Verification of Interface Protocols. J. Inf. Sci. Eng. 26 (5) (2010)
Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou
Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM. IEEE Trans. Very Large Scale Integr. Syst. 17 (5) (2009)
Man-Yun Su, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou
FSM-based transaction-level functional coverage for interface compliance verification. ASP-DAC (2006)
Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou
Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model. HLDVT (2005)
Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yang Jou
On compliance test of on-chip bus for SOC. ASP-DAC (2004)
Che-Hua Shih, Jing-Yang Jou
An efficient approach for error diagnosis in HDL design. ISCAS (4) (2003)