This paper describes the verification methodology of combination of assertion and coverage-driven, and having verified USB2.0 system with the methodology.

• 阐述了将断言和覆盖率为导向相结合的验证方法，并用此种方法对USB2.；0系统进行了验证。