Method 1: Using low level non functional behavioral model. Digital verification: - Using current Standard verification methodologies. Analog verification: - Verification using circuit simulators.