@proceedings {156324,
	title = {On the Functional Verification of Dynamic Partial Reconfiguration},
	journal = {IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2018)},
	year = {2018},
	pages = {1126-1129},
	address = {Windsor, Ontario, Canada},
	attachments = {https://scholar.cu.edu.eg/sites/default/files/hmostafa/files/284_9508.pdf},
	author = {Islam Ahmed and Hassan Mostafa and Ahmed N. Mohieldin}
}
