检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]哈尔滨工业大学微电子中心,哈尔滨150001
出 处:《微处理机》2008年第6期46-48,共3页Microprocessors
摘 要:随着微处理器复杂度的不断提高,用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法,首先利用功能抽象的方法得出微处理器的图模型,然后由基于图模型功能覆盖的代码生成算法生成验证代码。我们将这种方法应用于一款DSP的功能验证,结果显示在很短的验证代码激励下得到了较高的代码覆盖率。With the continuous increase complexity ofthe microprocessor, utilizing full- function verification method will cost tremendous computational resources and time. We proposes a graph -model based verification method. First, we educe graph model of the microprocessor using functional abstraction. Then generate test code using a code generation algorithm based on the graph model. As a case study we apply this method to verify a DSP. The result shows that we can get higher code coverage at much shorter test code stimuli.
分 类 号:TN43[电子电信—微电子学与固体电子学] TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.66