@book{2523,
	author = {Gong,Lingkan and OLIVER DIESSEL},
	title = {Functional verification of dynamically reconfigurable FPGA-based systems},
	publisher = {SPRINGER},
	year = {2015},
	address = {SWITZERLAND}
}