An Overview of Unified Verification Methodology - Current Issue - IJAR