Reconfigurable System Design and Verification - Marco D. Santambrogio; Pao-Ann Hsiung; Chun-Hsian Huang (Taylor and Francis, 2009)