Modeling and enhancing virtual memory performance in logic simulation | IEEE Conference Publication | IEEE Xplore