OVA技术在接口时序验证中的应用

摘要

本文主要阐述了基于断言技术并结合动态仿真,形式测试,测试激励自动化等方法的新硬件验证平台,着重介绍了O-VA的特点及运用,并以LCD controller的sharp接口为实例讲解了该方法的优点。