Reconfigurable system design and verification - Hsiung, Pao-Ann; Huang, Chun-Hsian; Santambrogio, Marco D. [ (Marco Domenico)] (CRC Press, 2009)