Che-Hua Shih

According to our database, Che-Hua Shih authored at least 8 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Embedding Hierarchical Signal to Siamese Network for Fast Name Rectification.

Yi-An Chen, Gung-Yu Pan, Che-Hua Shih, Yen-Chin Liao, Chia-Chih Yen, Hsie-Chia Chang

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2011

Equivalence checking of scheduling with speculative code transformations in high-level synthesis.

Chi-Hui Lee, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010

FSM-Based Formal Compliance Verification of Interface Protocols.

Che-Hua Shih, Ya-Ching Yang, Chia-Chih Yen, Juinn-Dar Huang, Jing-Yang Jou

J. Inf. Sci. Eng., 2010

2009

Automatic Verification Stimulus Generation for Interface Protocols Modeled With Non-Deterministic Extended FSM.

Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou

IEEE Trans. Very Large Scale Integr. Syst., 2009

2006

FSM-based transaction-level functional coverage for interface compliance verification.

Man-Yun Su, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model.

Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

2004

On compliance test of on-chip bus for SOC.

Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yang Jou

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

An efficient approach for error diagnosis in HDL design.

Che-Hua Shih, Jing-Yang Jou

Proceedings of the 2003 International Symposium on Circuits and Systems, 2003