TY - BOOK AU - "Lingkan Gong," AU - Oliver Diessel TI - Functional Verification of Dynamically Reconfigurable FPGA-based Systems SN - 9783319068374 CY - Wiesbaden KW - ETC_DIGITAL SYSTEM ER -