000 00446nam a22001697a 4500
005 20250711155413.0
008 180319b xxu||||| |||| 00| 0 eng d
020 _a9783319068374
041 _aeng
082 _a621.395
_bLIN
100 _aGong,Lingkan
245 _aFunctional verification of dynamically reconfigurable FPGA-based systems
260 _aSWITZERLAND
_bSPRINGER
_c2015
300 _a216
700 _aOLIVER DIESSEL
942 _cBK
999 _c2523
_d2523