GONG,LINGKAN FUNCTIONAL VERIFICATION OF DYNAMICALLY RECONFIGURABLE FPGA -BASED SYSTEMS - LONDON Springer 2015 - xxi+216p.;24x15Cms. ISBN: 9783319068374 Dewey Class. No.: 621.38173 G638