Methodology for validating Nest Memory Management Unit. - Nandhini Rajaiah; Jayakumar N. Sankarannair; Larry S. Leitner (EAI Endorsed Trans. Cloud Syst., 2019)