@article{mcxplore_manual, title={MCXplore v1.0: An Automated Framework for Validating Memory Controller Designs, A manual}, author={Hassan, Mohamed and Patel, Hiren}, year={2016}, publisher={University of Waterloo} }