Simulation and verification of the virtual memory management system with MSVL | IEEE Conference Publication | IEEE Xplore