"Lingkan Gong," Functional Verification of Dynamically Reconfigurable FPGA-based Systems - Wiesbaden Springer 2015 ISBN: 9783319068374 Subjects--Topical Terms: ETC_DIGITAL SYSTEM