Hsiung, Pao-Ann Reconfigurable system design and verification / Pao-Ann Hsiung, Marco D. Santambrogio, Chun-Hsian Huang - Boca Raton : CRC Press, c2009 - 268 p. : ill. ; 25 cm. Includes bibliographical references (p. [225]-244) and index ISBN: 9781420062663 (hardcover : alk. paper) 1420062662 (hardcover : alk. paper) Subjects--Topical Terms: Embedded computer systemsSystem designComputer systems--Verification