Verify PEMirco function