Che-Hua Shih

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

Chi‐Hui Lee, Che-Hua Shih, Juinn-Dar Huang et al. · 2011 · 29 citations

Computing, Computer Engineering, Computer Science +16

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

Chi‐Hui Lee, Che-Hua Shih, Juinn-Dar Huang et al. · Asia and South Pacific Design Automation Conference · 2011 · 22 citations

Computing, Computer Engineering, Computer Science +16

On compliance test of on-chip bus for SOC

Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih et al. · 2004 · 18 citations

Engineering, Computer Engineering, Computer Science +14

Stimulus generation for interface protocol verification using the non-deterministic extended finite state machine model

Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou · 2006 · 13 citations

Engineering, Computer Engineering, Computer Science +17