-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=LCDcontrollerSharp "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
OVA技术在接口时序验证中的应用
《微计算机信息》2008年第11期117-119,共3页丁婷婷 申敏 
国家"863"项目(2004AA001390)
本文主要阐述了基于断言技术并结合动态仿真,形式测试,测试激励自动化等方法的新硬件验证平台,着重介绍了O-VA的特点及运用,并以LCD controller的sharp接口为实例讲解了该方法的优点。
关键词：OVA ASSERTION 检查库 形式验证 LCDcontrollerSharp 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部