منهجية التحقق الشاملة (UVM) هي منهجية موحدة للتحقق من تصميمات الدوائر المتكاملة . يتم اشتقاق منهجية التحقق الشاملة بشكل أساسي من OVM ( منهجية التحقق المفتوح ) والتي كانت ، إلى حد كبير ، تعتمد على eRM (منهجية إعادة الاستخدام الإلكترونية) للغة التحقق الإلكترونية التي طورتها شركة فيريسيتي في عام 2001.
توفر مكتبة قوالب منهجية التحقق الشاملة الكثير من الأتمتة للغة سيستم فيريلوج مثل المتتابعات وميزات أتمتة البيانات (التعبئة والنسخ والمقارنة) وما إلى ذلك ، وعلى عكس المنهجيات السابقة التي تم تطويرها بشكل مستقل من قبل كل شركة من شركات التصميم الالكتروني الآلي ، فهي معيار مُقدم من أكسيليرا بدعم من بائعين متعددين: منتور وكيدنس وسينوبسيس وزايلنكس وألديك