SoC HW/SW verification and validation. - Chung-Yang Huang; Yu-Fan Yin; Chih-Jen Hsu; Thomas B. Huang; Ting-Mao Chang (ASP-DAC, 2011)