(Tháng 3 năm 2016) Phương pháp xác minh phổ quát (UVM) là một phương pháp luận được tiêu chuẩn hóa để xác minh các thiết kế mạch tích hợp. UVM chủ yếu bắt nguồn từ OVM (Phương pháp xác minh mở), phần lớn, dựa trên eRM (Phương pháp tái sử dụng điện tử) cho Ngôn ngữ xác minh điện tử do Verisity Design phát triển vào năm 2001.